Al-Abbass Khalil

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Global Knowledge

Top Venues

J. Log. Algebraic Methods Program.

Publications

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115 (2020)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR (2019)