Reference : Session Subtyping and Multiparty Compatibility Using Circular Sequents
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/44394
Session Subtyping and Multiparty Compatibility Using Circular Sequents
English
Horne, Ross James mailto [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).
1-4 September 2020
http://hdl.handle.net/10993/44394

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
main.pdfAuthor postprint732.37 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.