Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures

Article type: Research Article

Authors: Czaja, Ludwik

Affiliations: Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland. e-mail: [email protected]

Note: [] Address for correspondence: Institute of Informatics, Warsaw University, 02-097 Warsaw, Banacha 2, Poland

Abstract: It is shown how control aspects of the CSP-like communication mechanism may be represented as cause-effect structures, by using their calculus. A correctness proof of this transformation, i.e. its preserving of behaviour, has been given. A CSP-like parallel combinator for c-e structures is proposed, as well as its semantic counterpart. Compositionality property is proved.

DOI: 10.3233/FI-1999-37402

Journal: Fundamenta Informaticae, vol. 37, no. 4, pp. 343-368, 1999