Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.

Abstract

Presenting the theory of the Reowolf project, its protocol language and runtime system, as formalised in Rocq. Reowolf was developed to let peers distributed over the Internet share ad-hoc communication sessions according to piecemeal session protocols, which are (re)defined just in time. The formalisation reveals what made the appoach work, specifically, what are the key semantic properties of the protocol language.

Christopher Esterhuyse

Postdoc

Christopher is a post-doc researcher working on (languages for) specifying distributed systems, for eliciting, negotiating, testing, and verifying system properties.