Process structuring, synchronization, and recovery using atomic actions
- D.B. Lomet
- 1977
- ACM Conference on Language Design for Reliable Software 1977
Publications
12 results for David B. Lomet
A Formalization of Transition Diagram Systems
- David Bruce Lomet
- 1973
- Journal of the ACM