An operational semantics for pure dataflow
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 212-224
- https://doi.org/10.1007/bfb0012771
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Sémantique des processus communicantsRAIRO. Informatique théorique, 1981
- Properties of a Model for Parallel Computations: Determinacy, Termination, QueueingSIAM Journal on Applied Mathematics, 1966
- 7. Infinite Games of Perfect InformationPublished by Walter de Gruyter GmbH ,1964