Abstract
Concurrency is the instinctive model we use to describe the behaviour of most real-world systems. A concurrent system is something composed of simultaneously active subsystems, all cooperating to achieve some global aim which we can define as ‘a system composed of cooperating subsystems whose separate internal actions can overlap in time’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Gray, D. (1999). Concurrency and Communication. In: Introduction to the Formal Design of Real-Time Systems. Applied Computing. Springer, London. https://doi.org/10.1007/978-1-4471-0889-4_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0889-4_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-76140-2
Online ISBN: 978-1-4471-0889-4
eBook Packages: Springer Book Archive