44 citations · 47 across the 6 of their papers we have counts for
4 papers · 1 filter
Reasoning about Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi +1
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interaction…
Alice or Bob?: Process Polymorphism in Choreographies
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
We present PolyChor, a language for higher-order functional \emph{choreographic programming} -- an emerging paradigm by which programmers write the desired cooperative behaviour…
Certified Compilation of Choreographies with hacc
Luís Cruz-Filipe, Lovro Lugović, Fabrizio Montesi
Programming communicating processes is challenging, because it requires writing separate programs that perform compatible send and receive actions at the right time during executio…
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…