Abstract
System behaviour generally consists of processes and data. Processes are the control mechanisms for the manipulation of data. While processes are dynamic and active, data are static and passive. System behaviour tends to be composed of several processes that are executed concurrently, where these processes exchange data in order to influence each other’s behaviour. The picture below presents a typical architecture for a concurrent system. Each process P i sends messages to its neighbouring processes Pi-1 and Pi+1 giving them information on the state of Pi . The neighbouring processes use this information in their internal computations, to update their own states.
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
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fokkink, W. (2000). Introduction. In: Introduction to Process Algebra. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-04293-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-04293-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08584-0
Online ISBN: 978-3-662-04293-9
eBook Packages: Springer Book Archive