Connections Between Systems and Processes

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 13)


Having defined the processes of a system net via the process definition 3.3.3, or (as we know: equivalently for system nets of finite synchronisation) via the construction given in Definition 3.4.1, it is now possible to translate properties from a system to the set of its processes and vice versa. It is possible to ask, for example, what it would mean for a system that all of its processes enjoy some interesting property, or conversely.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  1. 1.Institut für Methodische GrundlagenGMDSt. Augustin 1Germany

Personalised recommendations