Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond. Synchronous objects with scheduling policies: introducing safe shared memory in lustre. In Christoph M. Kirsch, Mahmut T. Kandemir, editors, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009. pages 11-20, ACM, 2009. [doi]
Abstract is missing.