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
Notes
- 1.
The relation with “skip” as stuttering in Chap. 3 is that both do nothing, doing so successfully. However, the respective semantic models will turn out rather different.
- 2.
Remember that unless we give an explicit definition, the interface is simply the set of events listed in the process definition.
References
Schneider S (1999) Concurrent and real time systems: the CSP approach. Wiley, New York
Roscoe AW (1998) The theory and practice of concurrency. International series in computer science. Prentice Hall, Upper Saddle River
Milner R (1989) Communication and concurrency. Prentice-Hall, Upper Saddle River
Bolognesi T, Brinksma E (1988) Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst 14(1):25–59
Bergstra JA, Klop JW (1984) Process algebra for synchronous communication. Inf Control 60(1):109–137
Milner R (1999) Communicating and mobile systems: the \(\pi \)-calculus. Cambridge University Press, New York
Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Upper Saddle River
Roscoe AW (2010) Understanding concurrent systems. Springer, Berlin
Bowman H, Gomez R (2005) Concurrency theory: calculi an automata for modelling untimed and timed concurrent systems. Springer, New York
ISO/IEC. International standard 15437:2001: Information technology – Enhancements to LOTOS (E-LOTOS) (2001)
de Nicola R, Hennessy MCB (1984) Testing equivalences for processes. Theor Comput Sci 34(1):83–133
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Derrick, J., Boiten, E. (2018). Process Algebra. In: Refinement. Springer, Cham. https://doi.org/10.1007/978-3-319-92711-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-92711-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92709-1
Online ISBN: 978-3-319-92711-4
eBook Packages: Computer ScienceComputer Science (R0)