External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Tiziana Cimoli

This author has not been identified. Look up 'Tiziana Cimoli' in Google

Maurizio Murgia

This author has not been identified. Look up 'Maurizio Murgia' in Google

Alessandro Sebastian Podda

This author has not been identified. Look up 'Alessandro Sebastian Podda' in Google

Livio Pompianu

This author has not been identified. Look up 'Livio Pompianu' in Google
runs on