Asynchronous communication in process algebra

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

doi:10.1109/LICS.1992.185528

Asynchronous communication in process algebra

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

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

28 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 language	English
Title of host publication	Logic in Computer Science (Proceedings 7th Annual IEEE Symposium, LICS'92, Santa Cruz CA, USA, June 22-25, 1993)
Publisher	Institute of Electrical and Electronics Engineers
Pages	137-147
Number of pages	11
ISBN (Print)	0-8186-2735-2
DOIs	https://doi.org/10.1109/LICS.1992.185528
Publication status	Published - 1992

Access to Document

10.1109/LICS.1992.185528

Cite this

@inproceedings{f95957ae9a154f6da2a4a6f60ce5c4b0,

title = "Asynchronous communication in process algebra",

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.",

author = "{Boer, de}, F.S. and J.W. Klop and C. Palamidessi",

year = "1992",

doi = "10.1109/LICS.1992.185528",

language = "English",

isbn = "0-8186-2735-2",

pages = "137--147",

booktitle = "Logic in Computer Science (Proceedings 7th Annual IEEE Symposium, LICS'92, Santa Cruz CA, USA, June 22-25, 1993)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Asynchronous communication in process algebra. / Boer, de, F.S.; Klop, J.W.; Palamidessi, C.
Logic in Computer Science (Proceedings 7th Annual IEEE Symposium, LICS'92, Santa Cruz CA, USA, June 22-25, 1993). Institute of Electrical and Electronics Engineers, 1992. p. 137-147.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Asynchronous communication in process algebra

AU - Boer, de, F.S.

AU - Klop, J.W.

AU - Palamidessi, C.

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

U2 - 10.1109/LICS.1992.185528

DO - 10.1109/LICS.1992.185528

M3 - Conference contribution

SN - 0-8186-2735-2

SP - 137

EP - 147

BT - Logic in Computer Science (Proceedings 7th Annual IEEE Symposium, LICS'92, Santa Cruz CA, USA, June 22-25, 1993)

PB - Institute of Electrical and Electronics Engineers

ER -

Asynchronous communication in process algebra

Abstract

Access to Document

Fingerprint

Cite this