Compliance and Subtyping in Timed Session Types

Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio (2015) Compliance and Subtyping in Timed Session Types. In: Formal Techniques for Distributed Objects, Components, and Systems. Springer pp. 161-177. ISBN 9783319191942. E-ISBN 9783319191959. (doi:https://doi.org/10.1007/978-3-319-19195-9_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
https://doi.org/10.1007/978-3-319-19195-9_11
Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Maurizio Murgia
Date Deposited: 21 Nov 2017 15:49 UTC
Last Modified: 22 Nov 2017 11:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/64597 (The current URI for this page, for reference purposes)
  • Depositors only (login required):