Fair Asynchronous Session Subtyping

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number5
Pages (from-to)5:1-5:47
Number of pages47
JournalLogical Methods in Computer Science
Volume20
Issue number4
DOIs
Publication statusPublished - 7 Oct 2024

Cite this