Advertisement

A Foundation of Parallel Programming

  • Jayadev Misra
Part of the NATO ASI Series book series (volume 55)

Abstract

This monograph introduces a programming theory (called UNITY) that is applicable to the design of parallel (concurrent/distributed/multi-process) programs. This theory consists of a simple computational model and a logic that is appropriate for specifying and reasoning about such programs. The computational model was first proposed in Chandy [1]; a full account of this work appears in Chandy and Misra [2]. This manuscript contains an abbreviated version of the theory and a few small examples to illustrate the theory.

Keywords

Union Theorem Programming Theory Induction Rule Statement Execution General Conjunction 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K. Mani Chandy, “Concurrent Programming for the Masses,” Invited Lecture at The Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B.C., Canada, August 27–29, 1984, published in the Proceedings of he Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, pp. 1–12, August 5–7, 1985.Google Scholar
  2. 2.
    K. Mani Chandy and Jayadev Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.Google Scholar
  3. 3.
    K. Mani Chandy and Jayadev Misra, “On Proofs of Distributed Algorithms, with Application to the Problem of Termination Detection,” working material, International Summer School on Constructive Methods in Computing Science, Marktoberdorf, Germany, July 24-August 5, 1988.Google Scholar
  4. 4.
    Jayadev Misra, “General Conjunction and Disjunction of unless,” Notes on UNITY 01–88, The University of Texas at Austin, 1988.Google Scholar
  5. 5.
    Jayadev Misra, “A Theorem about Dynamic Acyclic Graphs,” Notes on UNITY 02–88, The University of Texas at Austin, 1988.Google Scholar
  6. 6.
    Jayadev Misra, “A Specification of a Buffer,” unpublished manuscript, The University of Texas at Austin, July 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Jayadev Misra
    • 1
  1. 1.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations