Abstract
The programming language Modula-2 provides two levels of support for concurrent programming, differing primarily in the level of abstraction at which programs can be written. We describe these two levels of concurrency in an algebraic style and show how this decription can be used to reason about the behaviour of concurrent programs in Modula-2. An intermediate level of “anonymous coroutines” is introduced to show the connection between these two levels. A number of alternative interpretations are given for those parts of the language where the precise semantics is not clear.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall Int’l., 1985.
C.A.R. Hoare et al., “Laws of Programming”, Comm. ACM 30, 8 (Aug. 1987), 672–686.
Modula-2/86 Software Development System, 3rd Ed., Logitech Inc., 1986.
R.A. Nicholl, “A Specification of Modula-2 Process (Coroutine) Management”, to appear in Journal of Pascal, Ada and Modula-2, 1988.
P. Rovner, R. Levin and J. Wick, “On Extending Modula-2 for Building Large, Integrated Systems”, Report No. 3, DEC Systems Research Center, 1985.
N. Wirth, Programming in Modula-2, Springer-Verlag, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag London
About this paper
Cite this paper
Nicholl, R.A. (1990). Concurrency in Modula-2: Properties of the Language Primitives. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_22
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3534-0_22
Publisher Name: Springer, London
Print ISBN: 978-3-540-19581-8
Online ISBN: 978-1-4471-3534-0
eBook Packages: Springer Book Archive