TY  - RPRT
TI  - Verifying Asynchronous Interactions via Communicating Session Automata
AU  - Julien Lange
AU  - Nobuko Yoshida
PY  - 2019
UR  - https://arxiv.org/abs/1901.09606
ID  - 1901.09606
ER  -