Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace. Themulus: A Timed Contract-calculus. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 193-204, SCITEPRESS, 2020. [doi]
Abstract is missing.