We develop a theory of refinement for timed asynchronous systems, in the setting of Communicating Timed Automata (CTA). Our refinement applies point-wise to the components of a system of CTA,
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
We render a model advocating an extension of choreographies to describe reverse computation via monitoring. More precisely, our extension imbues the communication behaviour of multi-party protocols with minimal decorations specifying
This deliverable reports on the results of the task “T.3.1: Current practices and state-of-the-art of Application Program Interface (API) consumption” of the work package (WP) 3 “API Consumption”. The goals
This report summarizes the initial activities related to WP2, and particularly to Tasks T.2.2 “Models for behavioural APIs” and T.2.7 “Inferring behavioural descriptions for b-APIs”. This is a public deliverable,
This deliverable reports on the results of the task “T.2.1: Current practices and state-of-the-art of Application Program Interface (API) provision” of the work package (WP) 2 “API Provision”. The goals