Asynchronous Communication in Process Algebra

d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to varervability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data ow, concurrent logic languages and concurrent constraint programming.

• Type: Conference
• Year: 1992
• Where: LICS
• Authors: Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi
• Keywords: Asynchronous Process Communication, Automated Reasoning, LICS 1992, Process Algebra Frameworks, Synchronous Communication Mechanism