TY  - RPRT
TI  - A Logical Interpretation of Asynchronous Multiparty Compatibility
AU  - Marco Carbone
AU  - Sonia Marin
AU  - Carsten Schürmann
PY  - 2023
UR  - https://arxiv.org/abs/2305.16240
ID  - 2305.16240
ER  -