7 citations · 15 across the 7 of their papers we have counts for
10 papers
Asynchronous Multiparty Sessions with Mixed Choice
Franco Barbanera, Mariangiola Dezani-Ciancaglini
We present an asynchronous calculus for multiparty sessions with mixed choice, which extends the Simple MultiParty Session framework in order to support nondeterministic choices wi…
Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani +1
Proof Theory and Type Theory are two branches of mathematical logic and theoretical computer science that explore the structure of mathematical proofs and the foundations of comput…
Modular Multiparty Sessions with Mixed Choice
Franco Barbanera, Mariangiola Dezani-Ciancaglini
MultiParty Session Types (MPST) provide a useful framework for safe concurrent systems. Mixed choice (enabling a participant to play at the same time the roles of sender and receiv…
Partial Typing for Asynchronous Multiparty Sessions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty…
Partially Typed Multiparty Sessions
Franco Barbanera, Mariangiola Dezani-Ciancaglini
A multiparty session formalises a set of concurrent communicating participants. We propose a type system for multiparty sessions where some communications between participants can…
Composition of choreography automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rel…