Fair asynchronous session subtyping

DOI10.46298/lmcs-20(4:5)2024MaRDI QIDQ6635515

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Publication date: 12 November 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Fair asynchronous session subtyping