98 citations · 385 across the 33 of their papers we have counts for
Showing 2023 · cs.PLShow all
2 papers · 2 filters
cs.PL2023
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…
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…