Free constructions of powerdomains
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 162-183
- https://doi.org/10.1007/3-540-16816-8_31
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Synchronisation treesPublished by Springer Nature ,2006
- On the extremely fair treatment of probabilistic algorithmsPublished by Association for Computing Machinery (ACM) ,1983
- Experiments, powerdomains and fully abstract models for applicative multiprogrammingLecture Notes in Computer Science, 1983
- Testing equivalences for processesPublished by Springer Nature ,1983
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981
- On the semantics of fair parallelismPublished by Springer Nature ,1980
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976