Publisher
Springer International Publishing
Reference30 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
2. Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language, and Interaction, pp. 425–454. MIT Press, Cambridge (2000)
3. Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.: Semantic adaptation for models of computation. In: 2011 11th International Conference on Application of Concurrency to System Design, pp. 153–162 (June 2011). https://doi.org/10.1109/ACSD.2011.17
4. Boulanger, F., Jacquet, C., Hardebolle, C., Prodan, I.: TESL: a language for reconciling heterogeneous execution traces. In: 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014), Lausanne, Switzerland, pp. 114–123 (October 2014)
5. Bourke, T., Pouzet, M.: Zélus: a synchronous language with ODEs. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013, pp. 113–118. Association for Computing Machinery, New York (2013). https://doi.org/10.1145/2461328.2461348