Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

Peter E. Lauer Roy H. Campbell Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes Acta Inf. 5 1975 297-332 db/journals/acta/acta5.html#LauerC75