Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet. Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. In Hiren Patel, Tom J. Kazmierski, Sebastian Steinhorst, editors, 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018. pages 5-16, IEEE, 2018. [doi]
Abstract is missing.