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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Best, E., Fernández, C.C. (1988). Connections Between Systems and Processes. In: Nonsequential Processes. EATCS Monographs on Theoretical Computer Science, vol 13. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73483-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-73483-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-73485-4
Online ISBN: 978-3-642-73483-0
eBook Packages: Springer Book Archive