Specification and refinement of finite dataflow networks — a relational approach

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 247-267
https://doi.org/10.1007/3-540-58468-4_169

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Specification and refinement of finite dataflow networks — a relational approach
Published by Springer Nature ,1994
Scenarios: A model of non-determinate computation
Published by Springer Nature ,1981