Processes and hyperuniverses
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 352-363
- https://doi.org/10.1007/3-540-58338-6_82
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Non-well-founded sets modeled as ideal fixed pointsInformation and Computation, 1991
- A domain equation for bisimulationInformation and Computation, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- The consistency problem for positive comprehension principlesThe Journal of Symbolic Logic, 1989
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A Powerdomain ConstructionSIAM Journal on Computing, 1976