An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 321-330
- https://doi.org/10.1007/3-540-51486-4_79
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Equational reasoning about nondeterministic processesPublished by Association for Computing Machinery (ACM) ,1989
- Comparing two fully abstract dataflow modelsPublished by Springer Nature ,1989
- A fully abstract semantics for data flow netsPublished by Springer Nature ,1987
- Denotational semantics of nets with nondeterminismPublished by Springer Nature ,1986
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981
- Some results on multi-valued contraction mappingsPublished by Springer Nature ,1970