44 citations · 217 across the 40 of their papers we have counts for
5 papers · 1 filter
Multiparty Classical Choreographies
Marco Carbone, Luis Cruz-Filipe, Fabrizio Montesi +1
We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typi…
Connectors meet Choreographies
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans +1
We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Progra…
Classical Transitions
Fabrizio Montesi, Marco Peressotti
We introduce the calculus of Classical Transitions (CT), which extends the research line on the relationship between linear logic and processes to labelled transitions. The key twi…
Classical Higher-Order Processes
Fabrizio Montesi
Classical Processes (CP) is a calculus where the proof theory of classical linear logic types communicating processes with mobile channels, a la pi-calculus. Its construction build…
Choreographies for Reactive Programming
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitutio…