Rayan Hallal

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Global Knowledge

Layered Architecture

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)
Rayan Hallal, Mohamad Jaber, Rasha Abdallah
From Global Choreography to Efficient Distributed Implementation. HPCS (2018)