A Relational Model of Non-Deterministic Dataflow (1998)

by Thomas T. Hildebrandt , Prakash Panangaden , Glynn Winskel
Venue:In CONCUR'98, volume 1466 of LNCS
Citations:27 - 13 self

Active Bibliography

6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
12 Relational Semantics of Non-Deterministic Dataflow – Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel - 1997
Extensions of Independence Models – Thomas T. Hildebrandt
263 Relations in Concurrency – Glynn Winskel
476 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
834 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
584 An introduction to software architecture – David Garlan, Mary Shaw - 1993