This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, Emilio Tuosto covered distributed coordination using local-first principles, including a formal model of the Actyx platform and an approach utilizing behavioural types to analyze systems with distributed components. A prototype implementation of this formal framework was showcased, which was developed in collaboration with Roland Kuhn from Actyx AG, Germany, and Hernán Melgratti from UBA & CONICET, Argentina.

Slides here: [x] (solutions found on last slide)