Asynchronous communication in process algebra

F.S. Boer, de, J.W. Klop, C. Palamidessi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

24 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationLogic in Computer Science (Proceedings 7th Annual IEEE Symposium, LICS'92, Santa Cruz CA, USA, June 22-25, 1993)
PublisherInstitute of Electrical and Electronics Engineers
Pages137-147
Number of pages11
ISBN (Print)0-8186-2735-2
DOIs
Publication statusPublished - 1992

Fingerprint Dive into the research topics of 'Asynchronous communication in process algebra'. Together they form a unique fingerprint.

Cite this