102 citations · 342 across the 33 of their papers we have counts for
34 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…
Sensible Intersection Type Theories
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini +1
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the co…
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…
Asynchronous Sessions with Input Races
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input rac…