Transformational semantics for concurrent programs

https://doi.org/10.1016/0020-0190(80)90009-5Get rights and content

First page preview

First page preview
Click to open first page preview

References (11)

  • F.L. Bauer et al.

    Algorithmic Language and Program Development

    (1980)
  • M. Broy

    Transformation parallel ablaufender Programme

  • M. Broy et al.

    Semantic relations in programming languages

    IFIP Congress

    (1980)
  • E.W. Dijkstra

    A Discipline of Programming

    (1976)
  • L. Flon et al.

    Nondeterminism and the correctness of parallel programs

There are more references available in the full text version of this article.

Cited by (15)

  • Broadcasting buffering communication

    1988, Computer Languages
  • Semantics of communicating processes

    1984, Information and Control
View all citing articles on Scopus

This work was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich, Fed. Rep. Germany.

View full text