Seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1992)

Paper: Asynchronous communication in process algebra (at LICS 1992)

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

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

BibTeX

  @InProceedings{deBoerKlopPalamides-Asynchronouscommuni,
    author = 	 {de Boer, F.S. and Klop, J.W. and Palamidessi, C.},
    title = 	 {Asynchronous communication in process algebra},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1992},
    year =	 1992,
    editor =	 {Andre Scedrov},
    month =	 {June}, 
    pages =      {137--147},
    location =   {Santa Cruz, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }