Comparing direct and continuation semantics styles for concurrent languages
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 311-322
- https://doi.org/10.1007/bfb0039615
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The SMoLCS approach to the formal semantics of programming languagesPublished by Springer Nature ,1987
- On the parameterized algebraic specification of concurrent systemsPublished by Springer Nature ,1985
- Algebraic definition of a functional programming language and its semantic modelsRAIRO. Informatique théorique, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Partial abstract typesActa Informatica, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Towards a Formal Description of AdaLecture Notes in Computer Science, 1980
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979