24 citations · 55 across the 8 of their papers we have counts for
5 papers · 1 filter
Constructive characterisations of the must-preorder for asynchrony
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue +1
De Nicola and Hennessy's must-preorder is a contextual refinement which states that a server q refines a server p if all clients satisfied by p are also satisfied by q. Owing to th…
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…
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…
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…