32 citations · 78 across the 20 of their papers we have counts for
14 papers · 1 filter
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Marco Carbone, Rumyana Neykova
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practica…
Forwarders as Process Compatibility, Logically
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…
Synchronous Forwarders
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with lin…
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Mario Bravetti, Marco Carbone, Julien Lange +2
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a ver…
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…
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…