Skip to content

Session Subtyping and Multiparty Compatibility Using Circular Sequents.

Ross Horne

VenueBCONCUR
Year2020
ProceedingsCONCUR

Browse the full CONCUR paper archive.