*For the most recent entries see the
Petri Nets Newsletter.*

## Distributed Implementation of CCS.

Gorrieri, Roberto;
Montanari, Ugo
In:
*Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark*, pages 329-348.
June 1991.

Also in:
Rozenberg, G.: *Lecture Notes in Computer Science, Vol. 674; Advances in Petri Nets 1993*, pages 244-266.
Springer-Verlag,
1993.

Abstract:
A distributed semantics for CCS is given by implementing Milner's Calculus
of Communicating Systems onto a simpler calculus of Place/Transition Petri
Nets. The net calculus, called SCONE^{+}, is an extension of SCONE
[GM90], which has the finer grained operation of local nondeterministic
choice, with some operations for modelling restriction and relabelling. In
this way, full CCS can be given a net implementation in a purely algebraic
way. The complex CCS operation of global nondeterminism is implemented by
means of suitable mapping, which makes explicit the fact that certain CCS
transitions are implemented as SCONE^{+} computations to be
executed atomically. To this aim, CCS and SCONE^{+} are given an
operational semantics in algebraic form. In this way, the mapping from CCS
transitions to SCONE^{+} computations becomes simply an algebraic
morphism, which can be interpreted as a denotational semantics for CCS
having SCONE^{+} as interpretation domain. The semantics of CCS
obtained by quotienting the CCS transition system w.r.t. the
implementation mapping is equivalent to the concurrent semantics by
``permutation of transitions''.

Keywords:
distributed implementation (of) CCS; place/transition net calculus,
SCONE+; local nondeterministic choice; restriction; relabelling;
operational semantics; algebraic morphism, (interpreted as) denotational
semantics (for CCS).

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*