Compositional relational semantics for indeterminate dataflow networks

Publisher Website

22 November 2005

book chapter
Published by Springer Nature

p. 52-74
https://doi.org/10.1007/bfb0018344

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Concurrent transition systems
Theoretical Computer Science, 1989
Theory of traces
Theoretical Computer Science, 1988
Nondeterministic data flow programs: How to avoid the merge anomaly
Science of Computer Programming, 1988
Computations, residuals, and the power of indeterminacy
Published by Springer Nature ,1988
Concurrent transition system semantics of process networks
Published by Association for Computing Machinery (ACM) ,1987
An operational semantics for pure dataflow
Published by Springer Nature ,1982
Scenarios: A model of non-determinate computation
Published by Springer Nature ,1981
Categories for the Working Mathematician
Published by Springer Nature ,1971