TY  - RPRT
TI  - From Global Choreographies to Provably Correct and Efficient Distributed Implementations
AU  - Mohamad Jaber
AU  - Yliès Falcone
AU  - Paul Attie
AU  - Al-Abbass Khalil
AU  - Rayan Hallal
PY  - 2019
UR  - https://arxiv.org/abs/1905.13529
ID  - 1905.13529
ER  -