Session Subtyping and Multiparty Compatibility Using Circular Sequents
English
Horne, Ross James[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2020
In 31st International Conference on Concurrency Theory (CONCUR 2020).
pp. 12:1–12:22
Yes
In 31st International Conference on Concurrency Theory (CONCUR 2020).