Compliance and Subtyping in Timed Session Types
From MaRDI portal
Publication:2827456
DOI10.1007/978-3-319-19195-9_11zbMath1347.68025OpenAlexW990735024MaRDI QIDQ2827456
Massimo Bartoletti, Alessandro Podda, Maurizio Murgia, Livio Pompianu, Tiziana Cimoli
Publication date: 19 October 2016
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01767334/file/978-3-319-19195-9_11_Chapter.pdf
Related Items (5)
Compliance in Behavioural Contracts: A Brief Survey ⋮ Verifiable abstractions for contract-oriented systems ⋮ A simple library implementation of binary sessions ⋮ Honesty by Typing ⋮ Unnamed Item
This page was built for publication: Compliance and Subtyping in Timed Session Types