From Global Choreographies to Provably Correct and Efficient Distributed Implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal (CoRR, 2019)

From global choreographies to verifiable efficient distributed implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal; Antoine El-Hokayem (J. Log. Algebraic Methods Program., 2020)