Goldilocks and the three specifications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 668)
A young girl enters Threads Forest. She becomes lost. She searches for enlightenment.
KeywordsCritical Section Atomic Action Concurrent Program Interface Specification Client Program
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- A.D. Birrell, J.V. Guttag, J.J. Horning, and R. Levin. “Synchronization primitives for a multiprocessor: a formal specification.” Operating Systems Review 21(5), Nov. 1987. Revised version in .Google Scholar
- Andrew Birrell, “An Introduction to Programming with Threads,” Report 35, Digital Equipment Corporation Systems Research Center, Palo Alto, January 1989. Revised version in .Google Scholar
- J.V. Guttag and J.J Horning, with S.J. Garland, K.D. Jones, A. Modet and J.M. Wing, Larch: Languages and Tools for Formal Specification, Springer-Verlag, New York, 1993.Google Scholar
- C. A. R. Hoare, “Procedures and Parameters: An Axiomatic Approach,” Symposium on Semantics of Algorithmic Languages, Springer-Verlag, 1971.Google Scholar
- Leslie Lamport, “A Simple Approach To Specifying Concurrent Systems,” Report 15, Digital Equipment Corporation, Systems Research Center, Palo Alto, 1986.Google Scholar
- B. W. Lampson and D. D. Redell, “Experiences with Processes and Monitors in Mesa,” Comm. ACM, vol. 23, no. 2, 105–117.Google Scholar
- Greg Nelson (ed.). Systems Programming with Modula-3, Prentice Hall, 1991.Google Scholar
© Springer-Verlag Berlin Heidelberg 1993