3 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.PL2023★ 2 cited
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…
cs.PL2023★ 3 cited
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Lovro Lugović, Fabrizio Montesi
In the paradigm of choreographic programming, the overall behaviour of a distributed system is coded as a choreography from a global viewpoint. The choreography can then be automat…
cs.PL2021
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…