Real-time ticks for synchronous programming

Reinhard von Hanxleden, Timothy Bourke, Alain Girault. Real-time ticks for synchronous programming. In Franco Fummi, Hiren Patel, Samarjit Chakraborty, editors, 2017 Forum on Specification and Design Languages, FDL 2017, Verona, Italy, September 18-20, 2017. pages 1-8, IEEE, 2017. [doi]

Abstract

Abstract is missing.