98 citations · 385 across the 33 of their papers we have counts for
3 papers · 1 filter
Functional Choreographic Programming
Luís Cruz-Filipe, Eva Graversen, Lovro Lugović +2
Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a…
Formalising a Turing-Complete Choreographic Language in Coq
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Theory of choreographic languages typically includes a number of complex results that are proved by structural induction. The high number of cases and the subtle details in some of…
Certifying Choreography Compilation
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from a global viewpoint, the computations…