TY  - RPRT
TI  - Implementing choreography extraction
AU  - Luís Cruz-Filipe
AU  - Fabrizio Montesi
AU  - Larisa Safina
PY  - 2019
UR  - https://arxiv.org/abs/1910.11741
ID  - 1910.11741
ER  -