Powerdomains, powerstructures and fairness
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 382-396
- https://doi.org/10.1007/bfb0022270
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A game-theoretic modeling of concurrencyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Computable concurrent processesTheoretical Computer Science, 1995
- A model of concurrency with fair merge and full recursionInformation and Computation, 1991
- 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