Title :
Self-synchronization of concurrent processes
Author :
Jategaonkar, Lalita ; Meyer, Albert R.
Author_Institution :
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
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;
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
DOI :
10.1109/LICS.1993.287567
