Compliance and Subtyping in Timed Session Types.

Thu, 01 Jan 2015 00:00:00 +0100

Massimo Bartoletti , Tiziana Cimoli , Maurizio Murgia , Alessandro Sebastian Podda , Livio Pompianu :
Compliance and Subtyping in Timed Session Types. FORTE 2015: 161-177