Fair Asynchronous Session Subtyping

Research output: Contribution to journal › Article › peer-review

31 Downloads (Pure)

Original language	English
Article number	5
Pages (from-to)	5:1-5:47
Number of pages	47
Journal	Logical Methods in Computer Science
Volume	20
Issue number	4
DOIs	https://doi.org/10.46298/LMCS-20(4:5)2024
Publication status	Published - 7 Oct 2024

Access to Document

@article{631c704a4a9243df8d79fb5233f97db4,

title = "Fair Asynchronous Session Subtyping",

author = "Mario Bravetti and Julien Lange and Gianluigi Zavattaro",

year = "2024",

month = oct,

day = "7",

doi = "10.46298/LMCS-20(4:5)2024",

language = "English",

volume = "20",

pages = "5:1--5:47",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Logical Methods in Computer Science",

number = "4",

}