Undecidability of asynchronous session subtyping

From MaRDI portal
Publication:2407107

DOI10.1016/J.IC.2017.07.010zbMath1376.68098arXiv1611.05026OpenAlexW2553870630MaRDI QIDQ2407107

Mario Bravetti, Gianluigi Zavattaro, Marco Carbone

Publication date: 28 September 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1611.05026




Related Items (15)




Cites Work




This page was built for publication: Undecidability of asynchronous session subtyping