Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

Submitted by rhc on Thu, 03/26/2009 - 22:29
TitleAddenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Publication TypeJournal Article
Year of Publication1977
AuthorsLauer, Peter E., and Campbell Roy H.
JournalActa Informatica
Volume7
Issue3
Pagination325
Publication Languageeng
Citation Key501