Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
19.8 Bibliographical Notes
C.A.R. Hoare: Communicating Sequential Processes (Prentice Hall, 1985)
A.W. Roscoe: Theory and Practice of Concurrency (Prentice Hall, 1997)
G.D. Plotkin: A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60–61 (2004) pp 17–139
G. Kahn: Natural Semantics. In: 4th Ann. Symposium on Theoretical Aspects of Computer Science (STAGS) (ACM, NY, USA, 1987) pp 22–39
P. Folkjær, D. Bjørner: A Formal Model of a Generalised CSP-like Language. In: Proc. IFIP’80, ed by S. Lavington (North-Holland, Amsterdam, 1980) pp 95–99
R. Milner: Communicating and Mobile Systems: The π-Calculus (Cambridge University Press, 1999)
D. Sangiorgio, D. Walker: The π-Calculus (Cambridge University Press, 2001)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). SPIL: Simple Parallel, Imperative Language. In: Software Engineering 2. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33193-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-33193-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21150-1
Online ISBN: 978-3-540-33193-3
eBook Packages: Computer ScienceComputer Science (R0)