Goldilocks and the three specifications

  • John V. Guttag
Invited Survey
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.


Critical 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.


  1. [1]
    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 [9].Google Scholar
  2. [2]
    Andrew Birrell, “An Introduction to Programming with Threads,” Report 35, Digital Equipment Corporation Systems Research Center, Palo Alto, January 1989. Revised version in [9].Google Scholar
  3. [3]
    Edsger W. Dijkstra, “The Structure of the ‘THE'-Multiprogramming System,” Comm. ACM, vol. 11, no. 5, 341–346, 1968.CrossRefGoogle Scholar
  4. [4]
    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
  5. [5]
    C. A. R. Hoare, “Procedures and Parameters: An Axiomatic Approach,” Symposium on Semantics of Algorithmic Languages, Springer-Verlag, 1971.Google Scholar
  6. [6]
    C. A. R. Hoare, “Monitors: An Operating System Structuring Concept,” Comm. ACM, vol. 17, no. 10, 549–557, 1974.CrossRefGoogle Scholar
  7. [7]
    Leslie Lamport, “A Simple Approach To Specifying Concurrent Systems,” Report 15, Digital Equipment Corporation, Systems Research Center, Palo Alto, 1986.Google Scholar
  8. [8]
    B. W. Lampson and D. D. Redell, “Experiences with Processes and Monitors in Mesa,” Comm. ACM, vol. 23, no. 2, 105–117.Google Scholar
  9. [9]
    Greg Nelson (ed.). Systems Programming with Modula-3, Prentice Hall, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • John V. Guttag
    • 1
  1. 1.Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations