For the most recent entries see the Petri Nets Newsletter.

Representing CCS Programs by Finite Predicate/Transition Nets.

Taubner, Dirk

In: Acta Informatica, Vol. 27, pages 533-565. 1990.

Abstract: A construction is given which for CCS programs (in which every choice and recursion starts sequentially) yields a finite and strict predicate/transition net. Consistency of this construction is proved not only with respect to the standard interleaving semantics but with respect to the distributed operational semantics of Degano et al. which additionally models the concurrency explicitly.

Keywords: representing CCS programs; predicate/transition net; interleaving semantics; distributed operational semantics.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography