DocumentCode
2893895
Title
Asynchronous communication in process algebra
Author
de Boer, F.S. ; Klop, J.W. ; Palamidessi, C.
Author_Institution
Dept. of Comput. Sci., Eindhoven Tech. Univ., Netherlands
fYear
1992
fDate
22-25 Jun 1992
Firstpage
137
Lastpage
147
Abstract
The authors study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism that is present in process algebra frameworks such as CCS, CSP, and ACP. They investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. The aim is to develop a process theory that can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages, and concurrent constraint programming
Keywords
concurrency control; programming theory; abstract traces; asynchronous process communication; axiomatizations; bisimulation; concurrent constraint programming; concurrent logic languages; data flow; observability; process algebra; process theory; semantics; traces; Algebra; Asynchronous communication; Carbon capture and storage; Communication channels; Computer science; Encapsulation; Equations; Interleaved codes; Kernel; Logic programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location
Santa Cruz, CA
Print_ISBN
0-8186-2735-2
Type
conf
DOI
10.1109/LICS.1992.185528
Filename
185528
Link To Document