TY  - RPRT
TI  - Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
AU  - Felix Stutz
PY  - 2023
UR  - https://arxiv.org/abs/2302.11272
ID  - 2302.11272
ER  -