Advertisement

Connections Between Systems and Processes

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

Abstract

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.

Preview

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