Semantic of Communication Parallel Processes
Name
MIT-LCS-TR-154.pdf
Size
4.55 MB
Format
Adobe PDF
Checksum (MD5)
073e17b2dd48022b5f6ab28e2f1d76b6
Author(s)
Greif, Irene Gloria
Advisor(s)
Hewitt, Carl
Date Issued
September 1975
Series/Report no.
MIT-LCS-TR-154
Abstract
The thesis of this dissertation is that an understanding of the ordering constraints that are introduced among events of parallel process is essential to the understanding of synchronization and that therefore any language for specifying synchronization of parallel processes should be based on a theory of such orderings. While it is possible to write specifications for systems communicating parallel processes by reference to the time ordering of some global clock external to the system, such specifications cannot be as useful as ones which are in terms of orderings derivable within the system.
Persistent DSpace Link
