Rayan Hallal

According to our database1, Rayan Hallal authored at least 3 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program., 2020

2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019

2018
From Global Choreography to Efficient Distributed Implementation.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018


  Loading...