Compliance and Subtyping in Timed Session Types

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu. Compliance and Subtyping in Timed Session Types. In Susanne Graf, Mahesh Viswanathan 0001, editors, Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Volume 9039 of Lecture Notes in Computer Science, pages 161-177, Springer, 2015. [doi]

Abstract

Abstract is missing.