Laws of Parallel Programming with Shared Variables

  • Qiwen Xu
  • Jifeng He
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


Extending the laws of sequential programming, we investigate laws of parallel programs in which processes communicate via shared variables. A rich and elegant set of laws, which resemble closely the laws of message passing concurrency, is presented, and this forms an algebraic framework of refinement and verification.


Parallel Program Shared Variable Parallel Composition Atomic Action Closure Property 
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. [AL89]
    M. Abadi and L. Lamport. Composing specifications. In Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, models, formalisms, correctness. LNCS 430, Springer-Verlag, 1989.Google Scholar
  2. [BJ93]
    R.J.R. Back and B. Jonsson. Fully abstract semantic ordering for shared—variable concurrent programs. Manuscript, 1993.Google Scholar
  3. [BW90]
    J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.Google Scholar
  4. [Br85]
    S.D. Brookes. An axiomatic treatment of a parallel programming language. In R. Parikh, editor, Proc. of Logics of Programs, LNCS 193, 1985.Google Scholar
  5. [Br93]
    S.D. Brookes. Full abstraction for a shared variable parallel language. In Proc. 8th IEEE Int. Symp. on Logic in Computer Science, 1993.Google Scholar
  6. [HPB92]
    He Jifeng, I. Page and J. Bowen. Normal form approach to FPGA implementation of occam. Report, ESPRIT Basic Research Actions ProCoS 1992.Google Scholar
  7. [He92]
    He Jifeng. Introduction of hybrid parallel programming. Report, ESPRIT Basic Research Actions ProCoS 1992.Google Scholar
  8. [HX91]
    He Jifeng and Xu Qiwen. Algebraic semantics of shared variable con-currency. Report, ESPRIT Basic Research Actions ProCoS 1991.Google Scholar
  9. [Ho85]
    C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, London. 1985.MATHGoogle Scholar
  10. [Hoare et al 87]
    C.A.R. Hoare et al. Laws of programming. Commun. ACM 30, 8 672–686 1987.CrossRefMathSciNetMATHGoogle Scholar
  11. [Jo81]
    C.B. Jones. Development methods for computer programs including a notion of interference. Dphil. Thesis, Oxford University Computing Laboratory, 1981.Google Scholar
  12. [Jo91]
    C.B. Jones. Interference resumed. in P. Bailes, editor, Australian Software Engineering Research 1991.Google Scholar
  13. [LS89]
    L. Lamport and F.B. Schneider. Pretending atomicity. Research report 29, Digital System Research Center 1989.Google Scholar
  14. [Mi89]
    R. Milner. Communication and Concurrency. Prentice-Hall International Series in Computer Science, 1989.Google Scholar
  15. [OG76]
    S. Owicki and D. Gries. An axiomatic proof technique for parallel programs Acta Inform. 6 319–340 Springer-Verlag 1976.Google Scholar
  16. [Sti88]
    C. Stirling. A generalization of Owicki-Gries’s Hoare logic for a concur- rent while language. Theoretical Computer Science 58 347–359 1988.CrossRefMathSciNetMATHGoogle Scholar
  17. [Stø90]
    K. Stolen. Development of Parallel Programs on Shared Data-structures. Ph.D Thesis, Computer Science Department, Manchester University, 1990.Google Scholar
  18. [Stø91]
    K. Stolen. A method for the development of totally correct shared-state parallel programs. In J.C.M. Baeten and J.F. Groote, editors, Proceedings of CONCUR 91, LNCS 527, Springer-Verlag, 1991.Google Scholar
  19. [XH91]
    Xu Qiwen and He Jifeng. A theory of state-based parallel programming: Part 1. in J. Morris, editor, Proceedings BCS FACS 4th Refinement Workshop January 1991, Cambridge, 326–359 Springer-Verlag.Google Scholar
  20. [Xu92]
    Xu Qiwen. A theory of state-based parallel programming. DPhil. Thesis, Oxford University Computing Laboratory, 1992.Google Scholar

Copyright information

© British Computer Society 1994

Authors and Affiliations

  • Qiwen Xu
    • 1
  • Jifeng He
    • 2
  1. 1.Department of Computer ScienceÅbo AkademiTurkuFinland
  2. 2.Computing LaboratoryOxford UniversityOxfordEngland, UK

Personalised recommendations