Semantics of concurrent systems: A modular fixed-point trace approach. (English) Zbl 0576.68044

Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 353-375 (1985).
[For the entire collection see Zbl 0556.00014.]
A special synchronization (dyadic, idempotent, commutative, associative) on sets of processes of a modular system allows to describe the system behaviour from the behaviour of the components; where every partition of the set of places defines a decomposition of a net into (suitable) modules.
Reviewer: H.Fuss


68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


Zbl 0556.00014