Abstract
Concurrency is an important technique widely used in modern systems. Concurrency occurs in a system when there are multiple and simultaneously active computing agents interacting with one another. Examples include concurrent programming, parallel processing, distributed systems, and multimedia applications. The hardware ranges from a single CPU to multiple computers. The control ranges from a single control unit to multiple control units cooperating with one another via message passing. Unlike traditional sequential programs, concurrent systems often lead to unanticipated interactions and race conditions. The characteristics of concurrent systems result in numerous difficulties in ensuring reliable and correct designs.
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
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Juan, E.Y.T., Tsai, J.J.P. (2002). Introduction. In: Compositional Verification of Concurrent and Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol 676. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1009-3_1
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1009-3_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5349-2
Online ISBN: 978-1-4615-1009-3
eBook Packages: Springer Book Archive