Timed session types
Massimo Bartoletti
;Tiziana Cimoli;Maurizio Murgia
2017-01-01
Abstract
Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises to the timed setting the progress-based compliance between untimed session types. We show a sound and complete technique to decide when a timed session type admits a compliant one. Then, we show how to construct the most precise session type compliant with a given one, according to the subtyping preorder induced by compliance. Decidability of subtyping follows from these results.File | Size | Format | |
---|---|---|---|
main.pdf open access
Description: Articolo principale
Type: versione pre-print
Size 861.81 kB
Format Adobe PDF
|
861.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.