lb514@kent.ac.uk

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

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

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,