Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar

Colloquium Computer Science - Sung-Shik Jongmans, Open University & CWI

When:We 21-09-2022 15:30 - 16:30
Where:5161.0293 Bernoulliborg

Title: A Predicate Transformer for Choreographies

Abstract:

Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this talk (based on a paper in ESOP 2022), I present a new theory of choreographic programming. It supports for the first time: construction of distributed systems that require decentralised decision making (i.e., if/ while-statements with multiparty conditions); analysis of distributed systems to provide not only deadlock freedom but also functional correctness (i.e., pre/postcondition reasoning). Both contributions are enabled by a single new technique, namely a predicate transformer for choreographies. This is joint work with Petra van den Bos (University of Twente).