Transformational semantics for concurrent programs☆
References (11)
- et al.
Algorithmic Language and Program Development
(1980) Transformation parallel ablaufender Programme
- et al.
Semantic relations in programming languages
IFIP Congress
(1980) A Discipline of Programming
(1976)- 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 LanguagesA theory for nondeterminism, parallelism, communication, and concurrency
1986, Theoretical Computer ScienceA systematic approach to language constructs for concurrent programs
1984, Science of Computer ProgrammingSemantics of communicating processes
1984, Information and ControlDenotational semantics of communicating processes based on a language for applicative multiprogramming
1983, Information Processing LettersA methodology for programming with concurrency: An informal presentation
1982, Science of Computer Programming
- ☆
This work was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich, Fed. Rep. Germany.
Copyright © 1980 Published by Elsevier B.V.