Clocks as Types in Synchronous Dataflow Languages Marc Pouzet LRI & INRIA Univ. Paris-Sud 11 Orsay IFIP WG 2.8 – 9/06/2009 (joint work with Albert Cohen, Louis Mandel, Florence Plateau)
- kahn semantics
- message communication into
- no explicit
- synchronous dataflow
- program critical embedded