Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Electronic Proceedings in Theoretical Computer Science · 2016
doi:10.4204/eptcs.211.3 (opens in a new tab)
We email you when a new notice or a question about this paper appears.
Abstract
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 associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.
Abstract licence: CC BY-NC-ND
References15
15 more references, whose wording the paper’s licence keeps private.
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.