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

Submitted by rhc on Thu, 03/26/2009 - 22:29
TitleFormal Semantics of a Class of High Level Primitives for Co-ordinating Concurrent Processes
Publication TypeJournal Article
Year of Publication1975
AuthorsLauer, P. E., and Campbell R. H.
JournalActa Informatica
Volume5
Issue4
Pagination297-332
Publication Languageeng
Alternate JournalActa Informatica
Citation Key502