From Infinity to Choreographies: Extraction for Unbounded Systems

Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi

Choreographies are formal descriptions of distributed systems, which focus on the way in which participants communicate. While they are useful for analysing protocols, in practice…