Abstract
This chapter presents a general formalism for the description of systems with parallelism1. The basic notions of parallel systems are defined in terms of this general model. A number of different system description methods are related to this general model, as discussed in section 9.9. This chapter makes abstraction of any physical fragmentation of the system into several components. For the major part of the chapter, the notion of parallel processes is irrelevant, only quasi-parallel state transitions are considered.
This is a preview of subscription content, log in via an institution to check access.
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
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
von Bochmann, G. (1983). A State Transition Formalism for the Description of Systems. In: Concepts for Distributed Systems Design. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68851-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-68851-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-68853-9
Online ISBN: 978-3-642-68851-5
eBook Packages: Springer Book Archive