98 citations · 385 across the 33 of their papers we have counts for
Showing 2016 · cs.PLShow all
3 papers · 2 filters
cs.PL2016★ 15 cited
The Paths to Choreography Extraction
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis…
cs.PL2016★ 20 cited
Choreographies in Practice
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O o…
cs.PL2016★ 21 cited
A Language for the Declarative Composition of Concurrent Protocols
Luís Cruz-Filipe, Fabrizio Montesi
A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple pro…