Denotational semantics of concurrent programs with shared memory

  • Manfred Broy
Contibuted Papers

DOI: 10.1007/3-540-12920-0_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 166)
Cite this paper as:
Broy M. (1984) Denotational semantics of concurrent programs with shared memory. In: Fontet M., Mehlhorn K. (eds) STACS 84. STACS 1984. Lecture Notes in Computer Science, vol 166. Springer, Berlin, Heidelberg

Abstract

For a simple classical procedural programming language for writing concurrent programs with protected access to shared memory a denotational semantics is given. It is, in particular, based on techniques developed for giving semantic models for languages for describing tightly coupled communicating systems based on the rendezvous concept like CSP and CCS and others for describing loosely coupled systems based on implicit buffering using notations as found in applicative multiprogramming such as nondeterministic stream processing and data flow networks. 13 Dec 83

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1984

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Universität Passau Fakultät für InformatikPassau

Personalised recommendations