BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-73-394
       ENTRY:: September 25, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Parallel programming: an axiomatic approach.
        TYPE:: Technical Report
      AUTHOR:: Hoare, C. A. R.
        DATE:: October 1973
       PAGES:: 33
    ABSTRACT:: This paper develops some ideas expounded in [C.A.R. Hoare.
               "Towards a Theory of Parallel Programming," in
               $\underline{Operating Systems Techniques}, ed. C.A.R. Hoare
               and R.H. Perrot. Academic Press. 1972]. It distinguishes a
               number of ways of using parallelism, including disjoint
               processes, competition, cooperation, communication and
               "colluding". In each case an axiomatic proof rule is given.
               Some light is thrown on traps or ON conditions. Warning: the
               program structuring methods described here are not suitable
               for the construction of operating systems.
       NOTES:: [Adminitrivia V1/Prg/19950925]
         END:: STAN//CS-TR-73-394