Process Structuring, Synchronization, and Recovery Using Atomic Actions (1997)

by D B Lomet
Venue:Proceding of the ACM Conference on language Design for Reliable Software, SIGPLAN, Notices 12,3