Semantics of unbounded nondeterminism
- 1 January 1980
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- A straightforward denotational semantics for non-determinate data flow programsPublished by Association for Computing Machinery (ACM) ,1978
- A complete axiomatic system for proving deductions about recursive programsPublished by Association for Computing Machinery (ACM) ,1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976