A Logical Interpretation of Asynchronous Multiparty Compatibility
- Marco Carbone
- , Sonia Marin
- , Carsten Schürmann
- University of Birmingham
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review