Themulus: A Timed Contract-calculus.

Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Browse the full MODELSWARD paper archive.