102 citations · 342 across the 33 of their papers we have counts for
28 papers · 1 filter
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…
Event structure semantics for multiparty sessions
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We sh…
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such ca…
Global types and event structure semantics for asynchronous multiparty sessions
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of global type for asynchronous multiparty s…
Open Multiparty Sessions
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described…
Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini +2
We present FJ&, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, -expressions, and intersection…
Retractions in Intersection Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro +2
This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. T…
On Sessions and Infinite Data
Paula Severi, Luca Padovani, Emilio Tuosto +1
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisati…
On the Preciseness of Subtyping in Session Types
Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas +1
Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usuall…
Reversible Multiparty Sessions with Checkpoints
Mariangiola Dezani-Ciancaglini, Paola Giannini
Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched w…
Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes asso…
Secure Multiparty Sessions with Topics
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed s…
Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese +1
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agre…
Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić +2
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundnes…
On Isomorphism of "Functional" Intersection and Union Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1
Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreove…
Compliance for reversible client/server interactions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax…
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propo…
Session Type Isomorphisms
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the…
Toward Isomorphism of Intersection and Union types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised…