Compliance and Subtyping in Timed Session Types

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

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

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