Themulus: A Timed Contract-calculus

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]

Authors

Alberto Aranda García

This author has not been identified. Look up 'Alberto Aranda García' in Google

María-Emilia Cambronero

This author has not been identified. Look up 'María-Emilia Cambronero' in Google

Christian Colombo

This author has not been identified. Look up 'Christian Colombo' in Google

Luis Llana

This author has not been identified. Look up 'Luis Llana' in Google

Gordon J. Pace

This author has not been identified. It may be one of the following persons: Look up 'Gordon J. Pace' in Google