DocumentCode
1822308
Title
Self-synchronization of concurrent processes
Author
Jategaonkar, Lalita ; Meyer, Albert R.
Author_Institution
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
fYear
1993
fDate
19-23 Jun 1993
Firstpage
409
Lastpage
417
Abstract
Introduces a unary “self-synchronization” operation on concurrent processes that synchronizes concurrent transitions within a process. Standard parallel synchronization and communicating action refinement operations can be reduced to simple combinations of self-synchronization and unsynchronized noncommunicating operations. Modifying familiar fully abstract process semantics, so that actions are replaced by action multisets (steps), typically yields semantics that are fully abstract for processes with self-synchronization
Keywords
formal logic; multiprocessing programs; multiprocessing systems; synchronisation; action multisets; communicating action refinement operations; concurrent processes; concurrent transitions; fully abstract process semantics; parallel synchronization operations; self-synchronization operation; steps; unsynchronized noncommunicating operations; Algebra; Carbon capture and storage; Communication standards; Computer science; Equations;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on
Conference_Location
Montreal, Que.
Print_ISBN
0-8186-3140-6
Type
conf
DOI
10.1109/LICS.1993.287567
Filename
287567
Link To Document