Asynchronous Communication in Process Algebra (Extended Abstract)

摘要

The paradigm of asynchronous process communication is studied, as it contrastswith the synchronous communication mechanism which is present in process algebra frameworks such as Calculus of Communicating Systems (CCS), Communicating Sequential Processes (CSP), and ACP (Asynchronous Communication Process). Semantics and axiomatizations with respect to various observability criteria are investigated: bisimulation, traces, and astract traces. The aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages, and concurrent constraint programming.