Eleonora Fois Fois
Compliance and Subtyping in Timed Session Types
BARTOLETTI, MASSIMO;CIMOLI, TIZIANA;MURGIA, MAURIZIO;PODDA, ALESSANDRO SEBASTIAN;POMPIANU, LIVIO
2015-01-01
Abstract
We propose an extension of binary session types, to formalise timed communication protocols between two participants at the endpoints of a session. We introduce a decidable compliance relation, which generalises to the timed setting the usual progress-based notion of compliance between untimed session types. We then show a sound and complete technique to decide when a timed session type admits a compliant one, and if so, to construct the least session type compliant with a given one, according to the subtyping preorder induced by compliance. Decidability of subtyping follows from these results. We exploit our theory to design and implement a message-oriented middleware, where distributed modules with compliant protocols can be dynamically composed, and their communications monitored, so to guarantee safe interactions.File | Size | Format | |
---|---|---|---|
forte15.pdf Solo gestori archivio
Description: Articolo principale
Type: versione editoriale
Size 411.11 kB
Format Adobe PDF
|
411.11 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.