Full abstraction for a simple parallel programming language
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 108-120
- https://doi.org/10.1007/3-540-09526-8_8
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A mathematical semantics for a nondeterministic typed λ-calculusTheoretical Computer Science, 1980
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Categories for the Working MathematicianPublished by Springer Nature ,1971