Nondeterminism and fully abstract models
Open Access
- 1 January 1980
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 14 (4) , 323-347
- https://doi.org/10.1051/ita/1980140403231
Abstract
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applicationsKeywords
This publication has 8 references indexed in Scilit:
- Sharing in nondeterminismPublished by Springer Nature ,1979
- Operating Area Determination for a Small Service Company.Academy of Management Proceedings, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- Stable models of typed λ-calculiPublished by Springer Nature ,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
- Processes: A Mathematical Model of Computing AgentsPublished by Elsevier ,1975