A memory-bounded, deterministic and terminating semantics for the synchronous programming language CÉUGuilherme LimaRodrigo Santoset al.2019Journal of Systems Architecture