98 citations · 385 across the 33 of their papers we have counts for
3 papers · 1 filter
A Formal Theory of Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which correct-by-construction decentralised impleme…
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…
Implementing Choreography Extraction
Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi +1
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction softw…