Publications

Process structuring, synchronization, and recovery using atomic actions

• • D.B. Lomet
• 1977
• ACM Conference on Language Design for Reliable Software 1977