Experiments, powerdomains and fully abstract models for applicative multiprogramming
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- An operational semantics for CSPLecture Notes in Computer Science, 1983
- Powerdomains and nondeterministic recursive definitionsPublished by Springer Nature ,1982
- Algebraic semanticsLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A theory of nondeterminismPublished by Springer Nature ,1980
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Processes: A Mathematical Model of Computing AgentsPublished by Elsevier ,1975