Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Felix von der Heide: Reinhard von Hanxleden and Timothy Bourke and Alain Girault. Real-Time Ticks for Synchronous Programming. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, 2017.

Lennart Ideler: Guillaume Baudart and Timothy Bourke and Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, 2017.

...