Skip to main content
SpringerLink
Log in

On language constructs for concurrent programs

  • Programming Languages Which Support Parallelism
  • Conference paper
  • First Online:
Conpar 81 (CONPAR 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 111))

Included in the following conference series:

Abstract

During the last years numerous constructs have been proposed for concurrent programming. The relationship between a representative collection of such constructs is considered in the framework of transformational semantics. In particular procedure-oriented versions, where processes communicate via synchronized or protected access to shared memory, as well as message-oriented approaches, where processes communicate via message channels, are considered. The duality of these two concepts is outlined. Moreover these constructs are compared to applicative constructs for concurrent programming such as data flow languages.

This work was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, H. Partsch, P. Pepper, H. Wössner: Towards a Wide Spectrum Language To Support Program Specification and Program Development. SIGPLAN Notices 13:12, December 1978, 15–24

    Article  Google Scholar 

  2. F.L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981, to appear

    MATH  Google Scholar 

  3. A.J. Bernstein: Analysis of Programs for Parallel Processing. IEEE Transactions on Electronic Computers, EC-15:5, October 1966, 757–763

    Article  Google Scholar 

  4. P. Brinch Hansen: Distributed Processes: A Concurrent Programming Concept. Comm. ACM 21:11, November 1978, 934–941

    Article  MATH  Google Scholar 

  5. M. Broy: Transformation parallel ablaufender Programme. Technische Universität München, Dissertation an der Fakultät für Mathematik 1980

    Google Scholar 

  6. M. Broy: Transformational Semantics for Concurrent Programs. IPL 11:2, Oct 1980, 87–91

    Article  MATH  MathSciNet  Google Scholar 

  7. M. Broy: Are Fairness Assumptions Fair? Second International Conference on Distributed Computing Systems, Paris, April 1981

    Google Scholar 

  8. R.H. Campbell, N. Habermann: The Specification of Process Synchronisation by Path Expressions. Proc. Int. Symp. on Operating Systems Theory and Practice, April 1974, 91–102

    Google Scholar 

  9. E.W. Dijkstra: Co-Operating Sequential Processes. In: F. Genuys (ed.): Programming Languages. Academic Press, 1968, 43–112

    Google Scholar 

  10. E.W. Dijkstra: A Discipline of Programming. Prentice Hall, Englewood Cliffs N. J. 1976

    MATH  Google Scholar 

  11. J.A. Feldman: High Level Programming for Distributed Computing. Comm. ACM 22:6, June 1979, 353–368

    Article  MATH  Google Scholar 

  12. E.C.R. Hehner: do considered od: A Contribution to the Programming Calculus. Acta Informatica 11:2, 1979, 287–304

    Article  MATH  MathSciNet  Google Scholar 

  13. D.P. Friedman, D.S. Wise: Aspects of Applicative Programming for Parallel Processing. IEEE Transactions on Computers, C-27:4, April 1978, 289–296

    Google Scholar 

  14. C.A.R. Hoare: Towards a Theory of Parallel Programming. In: C.A.R. Hoare, R.H. Perott (eds.): Operating Systems Techniques, Academic Press, New York 1972, 61–71

    Google Scholar 

  15. C.A.R. Hoare: Monitors: An Operating Systems Structuring Concept. Comm. ACM 17:10, October 1974, 549–557

    Article  MATH  Google Scholar 

  16. C.A.R. Hoare: Communicating Sequential Processes. Comm. ACM 21:8, August 1978, 666–677

    Article  MATH  MathSciNet  Google Scholar 

  17. A.J. Jammel, H.G. Stiegler: Managers versus Monitors. In: Proc. of the IFIP Congress 77, Amsterdam: North-Holland 1977, 827–830

    Google Scholar 

  18. G. Kahn, D. MacQeen: Coroutines and Networks of Parallel Processes. In: Proc. of the IFIP Congress 77, Amsterdam: North-Holland 1977, 994–998

    Google Scholar 

  19. P.R. Kosinski: A Data Flow Language for Operating Systems Programming. SIGPLAN Notices 8:9, September 1973, 89–94

    Article  Google Scholar 

  20. L. Lamport: Proving the Correctness of Multiprocessor Programs. IEEE Transactions on Software Engineering, SE-3:2, March 1977, 125–143

    MathSciNet  Google Scholar 

  21. P.E. Lauer, R.H. Campbell: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5, 1975, 297–332

    Article  MATH  MathSciNet  Google Scholar 

  22. H.C. Lauer, R.M. Needham: On the Duality of Operating Systems Structures. In: Proceedings of the Second International Symposium on Operating Systems, Oct 1978, Reprinted in: Operating Systems Review 13:2, April 1979, 3–19

    Article  Google Scholar 

  23. Z. Manna, S. Ness, J. Vuillemin: Inductive Methods for Proving Properties of Programs. Comm. ACM 16:8, August 1973, 491–502

    Article  MATH  MathSciNet  Google Scholar 

  24. D.B. MacQueen: Models for Distributed Computing. IRIA RR No 351, April 1979

    Google Scholar 

  25. G. Milne, R. Milner: Concurrent Processes and their Syntax. University of Edinburgh, Department of Computer Science, Internal Report CSR-2-77, 1977

    Google Scholar 

  26. R. Milner: A Calculus for Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer 1980

    Google Scholar 

  27. S. Owicki: Axiomatic Proof Techniques for Parallel Programs. Cornell University, Ph. D. Thesis 1975

    Google Scholar 

  28. C.A. Petri: Kommunikation mit Automaten. Technische Hochschule Darmstadt, Dissertation 1962

    Google Scholar 

  29. A. Salwicki, T. Müldner: On Algorithmic Properties of Concurrent Programs. Unpublished manuscript

    Google Scholar 

  30. M. Sintzoff: Principles for Distributed Programs. Proc. of the Int. Symp. on Semantics of Concurrent Computation, Evian, July 2–4, 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Arcisstr. 21, Postfach 20 24 20, D-8000, München 2

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer P. Brinch Hansen D. Gries C. Moler G. Seegmüller J. Stoer N. Wirth Wolfgang Händler

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broy, M. (1981). On language constructs for concurrent programs. In: Brauer, W., et al. Conpar 81. CONPAR 1981. Lecture Notes in Computer Science, vol 111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0105115

Download citation

  • DOI: https://doi.org/10.1007/BFb0105115

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10827-6

  • Online ISBN: 978-3-540-38715-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation