Representing hand-shake channel communication in the calculus of cause-effect structures

• Autorzy: Czaja L.
• Języki publikacji: EN

Abstrakty

EN

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

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 4
• Strony: 343--368
• Opis fizyczny: bibliogr. 22 poz.

Twórcy

autor

Czaja L.

• Institute of Informatics Warsaw University ul. Banacha 2 02-097 Warsaw, Poland,