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

Authors:
Ludwik Czaja
Affiliations:
(Correspd.) Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland. e-mail: lczaja@mimuw.edu.pl
Venue:
Fundamenta Informaticae
Year:
1999

Citing 18
Cited 0

Communicating sequential processes

Communicating sequential processes
CSP-programs as nets with individual tokens

Advances in Petri Nets 1984
A distributed operational semantics for CCS based on condition/event systems

Acta Informatica
Process algebra

Process algebra
Developments in concurrency and communication

Developments in concurrency and communication
Nets, terms and formulas: three views of concurrent processes and their relationship

Nets, terms and formulas: three views of concurrent processes and their relationship
Remarks on the equivalence of c-e structures and Petri nets

Information Processing Letters
Processes in cause-effect systems

Fundamenta Informaticae
Cause-effect structures—structural and semantic properties revisited

Fundamenta Informaticae
Communication and Concurrency

Communication and Concurrency
On Representing CCS Programs by Finite Petri Nets

MFCS '88 Proceedings of the Mathematical Foundations of Computer Science 1988
On the Relationship of CCS and Petri Nets

Proceedings of the 11th Colloquium on Automata, Languages and Programming
Categories of Models for Concurrency

Seminar on Concurrency, Carnegie-Mellon University
A Petri Net Semantics for pi-Calculus

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
The box calculus: a new causal algebra with multi-label communication

Advances in Petri Nets 1992, The DEMON Project
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
Pascal semantics by a combination of denotational semantics and high-level Petri nets

Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Operational Petri net semantics for CCSP

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

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.