Abstract
In this chapter, processes are introduced as expressions of a simple language built from a few basic operators. The behaviour of a process E is characterised by transitions of the form \( E\xrightarrow{a}F \), that E may become F by performing the action a. Structural rules prescribe behaviour, since the transitions of a compound process are determined by those of its components. Concrete pictorial summaries of behaviour are presented as labelled graphs, which are collections of transitions. We review various combinations of processes and their resulting behaviour.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Stirling, C. (2001). Processes. In: Modal and Temporal Properties of Processes. Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3550-5_1
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3550-5_1
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-3153-5
Online ISBN: 978-1-4757-3550-5
eBook Packages: Springer Book Archive