Scenarios: A model of non-determinate computation
Authors:
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 252-259
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Data Flow Computing—Software DevelopmentIEEE Transactions on Computers, 1980
- On the semantics of fair parallelism1980
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- A straightforward denotational semantics for non-determinate data flow programs1978
- Indeterminacy, monitors, and dataflowACM SIGOPS Operating Systems Review, 1977