Timed Session Types

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia

Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises…