Multiparty Reactive Sessions

Abstract : Ensuring that communication-centric systems interact according to an intended protocol is an important but difficult problem, particularly for systems with some reactive or timed components. To rise to this challenge, we study the integration of session-based concurrency and Synchronous Reactive Programming (SRP). We propose a process calculus for multiparty sessions enriched with features from SRP. In this calculus, protocol participants may broadcast messages, suspend themselves while waiting for a message, and also react to events. Our main contribution is a session type system for this calculus, which enforces session correctness in terms of communication safety and protocol fidelity, and ensures two time-related properties that we call output persistence and input timeliness. Our type system departs significantly from existing ones, specifically as it captures the notion of logical instant typical of SRP.
Document type :
Reports
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02106742
Contributor : Ilaria Castellani <>
Submitted on : Tuesday, April 30, 2019 - 5:20:28 PM
Last modification on : Wednesday, October 9, 2019 - 1:28:48 AM

File

RR-9270.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02106742, version 1

Collections

Citation

Mauricio Cano, Ilaria Castellani, Cinzia Di Giusto, Jorge Pérez. Multiparty Reactive Sessions. [Research Report] 9270, INRIA. 2019, pp.65. ⟨hal-02106742⟩

Share

Metrics

Record views

150

Files downloads

56