Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Session Subtyping and Multiparty Compatibility Using Circular Sequents
Horne, Ross James
2020In In 31st International Conference on Concurrency Theory (CONCUR 2020).
Peer reviewed
 

Files


Full Text
main.pdf
Author postprint (749.95 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Horne, Ross James ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Session Subtyping and Multiparty Compatibility Using Circular Sequents
Publication date :
2020
Event name :
In 31st International Conference on Concurrency Theory (CONCUR 2020).
Event date :
1-4 September 2020
Main work title :
In 31st International Conference on Concurrency Theory (CONCUR 2020).
Pages :
pp. 12:1–12:22
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 01 October 2020

Statistics


Number of views
60 (2 by Unilu)
Number of downloads
87 (2 by Unilu)

Scopus citations®
 
10
Scopus citations®
without self-citations
7

Bibliography


Similar publications



Contact ORBilu