TY  - RPRT
TI  - Asynchronous Control-State Choreographies
AU  - Klaus-Dieter Schewe
AU  - Yamine Ait-Ameur
AU  - Sarah Benyagoub
PY  - 2022
UR  - https://arxiv.org/abs/2009.03623
ID  - 2009.03623
ER  -