Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler. A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. In Zheng Zhang 0012, Christophe Dubach, editors, Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2018, Philadelphia, PA, USA, June 19-20, 2018. pages 1-18, ACM, 2018. [doi]
Abstract is missing.