A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. / Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi.
In: Logical Methods in Computer Science, Vol. 17, No. 1, 04.03.2021, p. 1-35.Research output: Contribution to journal › Article › peer-review
Final published version
Licence: CC BY Show licence
Original language | English |
---|---|
Pages (from-to) | 1-35 |
Number of pages | 35 |
Journal | Logical Methods in Computer Science |
Volume | 17 |
Issue number | 1 |
Publication status | Published - 4 Mar 2021 |
ID: 41481364