Compliance and Subtyping in Timed Session Types.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu

Browse the full FORTE paper archive.