University of Kent has a consolidated research group on practical and theoretical aspects of Programming languages and systems (PLAS) for a broad range of paradigms including concurrent, functional, logic, and
Choreographies specify multiparty interactions via message passing. A \emph{realization} of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between
We present a behavioural typing system for a higher-order timed calculus using session types to model timed protocols. Behavioural typing ensures that processes in the calculus perform actions in the
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,
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 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