A characterization of asynchronous message-passing

  • S. R. Goregaokar
  • S. Arun-Kumar
Session 5 Distributed Computing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 241)


Induction Hypothesis Communication Model Proof System Function Match Partial Correctness 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1. /Go 85/
    S.R. Goregaokar: "Formal Semantics of Broadcasting Sequential Processes", M. Tech. Dissertation, IIT Bombay, 1985.Google Scholar
  2. 2. /Gr 81/
    D. Gries: "The Science of Programming", Springer-Verlag, 1981.Google Scholar
  3. 3. /H 78/
    C.A.R. Hoare: "Communicating Sequential Processes", CACM, Vol.21, No.8, 1978.Google Scholar
  4. 4. /H 85/
    C.A.R. Hoare: "Communicating Sequential Processes", Prentice-Hall, 1985.Google Scholar
  5. 5. /M 80/
    R. Milner: "A Calculus of Communicating Systems", Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar
  6. 6. /M 83/
    R. Milner: "Calculi for Synchrony and Asynchrony", Theoretical Computer Science, Vol.25, No.3, July 1983.Google Scholar
  7. 7. /S 83/
    N. Soundararajan: "Correctness proofs of CSP programs", Theoretical Computer Science, Vol.24, No.2, July 1983.Google Scholar
  8. 8. /S 84a/
    N. Soundararajan: "A Proof Technique for Parallel Programs", Theoretical Computer Science, Vol.31, No.1–2, May 1984.Google Scholar
  9. 9. /S 84b/
    N. Soundararajan: "Axiomatic Semantics of Communicating Sequential Processes", ACM-TOPLAS, Vol.6, No.4, October 1984.Google Scholar
  10. 10. /SD 82/
    N. Soundararajan, O.J. Dahl: "Partial Correctness of Communicating Sequential Processes", Research Report, University of Oslo, 1982.Google Scholar
  11. 11. /T 81/
    A.S. Tanenbaum: "Computer Networks", Prentice-Hall, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • S. R. Goregaokar
    • 1
  • S. Arun-Kumar
    • 2
  1. 1.Department of Computer Science & EngineeringIndian Institute of Technology, PowaiBombayIndia
  2. 2.Computer Science GroupTata Institute of Fundamental ResearchBombayIndia

Personalised recommendations