Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio - Timed Session Types

lmcs:4133 - Logical Methods in Computer Science, December 8, 2017, Volume 13, Issue 4
Timed Session Types

Authors: Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio

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.


Source : oai:arXiv.org:1710.05388
DOI : 10.23638/LMCS-13(4:25)2017
Volume: Volume 13, Issue 4
Published on: December 8, 2017
Submitted on: December 7, 2017
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 145 times.
This article's PDF has been downloaded 82 times.