On the semantics of fair parallelism
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 504-526
- https://doi.org/10.1007/3-540-10007-5_47
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- An extensional treatment of dataflow deadlockPublished by Springer Nature ,2005
- Fixed points in the power-set algebra of infinite treesLecture Notes in Computer Science, 1979
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- DIJKSTRA's predicate transformer, non-determinism, recursion, and terminationLecture Notes in Computer Science, 1976