Procedures and concurrency: A study in proof

  • Rob Gerth
  • Willem P. de Roever
  • Marly Roncken
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)


Proof System Component Process General Invariant Process Sort Proof Outline 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Apt80]
    Apt, K., N. Francez, W.P. de Roever; A proof system for Communicating Sequential Process. TOPLAS 2–3, p. 359–385, 1980.Google Scholar
  2. [Apt81]
    Apt, K.; Ten years of Hoare's logic: A survey — Part 1. TOPLAS 3–4, p. 431–484, 1981.Google Scholar
  3. [ARM81]
    The programming language ADA. Reference manual. LNCS 106, Springer Verlag, New York, 1981.Google Scholar
  4. [Ash75]
    Ashcroft, E.; Proving assertions about parallel programs. JCSS 10, p. 110–135, 1975.Google Scholar
  5. [BH75]
    Brinch Hansen, P.; The programming language concurrent Pascal. IEEE TSE 1, p. 99–207, 1975.Google Scholar
  6. [BH78]
    Brinch Hansen, P.; Distributed Processes: A concurrent programming concept. CACM 21–11, p. 934–941, 1978.Google Scholar
  7. [Ge81a]
    Gerth, R.; M.Sc. thesis. Vakgroep Informatica, University of Utrecht, 1981.Google Scholar
  8. [Ge81b]
    Gerth, R.; A proof system for a subset of the concurrency section of ADA. Technical report RUU-CS-81-17, Vakgroep Informatica, University of Utrecht, 1981.Google Scholar
  9. [Hoa74]
    Hoare, C.A.R.; Monitors, an operating system structuring concept. CACM 17–10, p. 549–557, 1974.Google Scholar
  10. [La80]
    Lampson, B.W., D.D. Redell; Experience with processes and monitors in MESA. CACM 23–2, p. 105–117, 1980.Google Scholar
  11. [Lam80]
    Lamport, L.; The Hoare's logic of concurrent programs. Acta Inf. 14, p. 21–37, 1980.Google Scholar
  12. [OwG76]
    Owicki, S., D. Gries; An axiomatic proof technique for parallel programs I. Acta Inf. 6, p. 319–340, 1976.Google Scholar
  13. [Wi81]
    Wirth, N.; Modula2. Report 36, Institut für Informatik, ETH, Zürich, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Rob Gerth
    • 1
  • Willem P. de Roever
    • 1
  • Marly Roncken
    • 1
  1. 1.University of UtrechtThe Netherlands

Personalised recommendations