×
Edit Profile (opens in new tab)

Hallal, Rayan

Co-Author Distance
Author ID: hallal.rayan Recent zbMATH articles by "Hallal, Rayan"
Published as: Hallal, Rayan
Documents Indexed: 1 Publication since 2020
Co-Authors: 5 Co-Authors with 1 Joint Publication
128 Co-Co-Authors

Co-Authors

0 single-authored
1 Attie, Paul C.
1 El-Hokayem, Antoine
1 Falcone, Yliès
1 Jaber, Mohamad Y.
1 Khalil, Al-Abbass

Serials

1 Journal of Logical and Algebraic Methods in Programming

Fields

1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine
1
2020
From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine
1
2020

Cited by 1 Author

1 Loulergue, Frédéric

Cited in 1 Serial

1 Journal of Logical and Algebraic Methods in Programming

Cited in 2 Fields

1 General and overarching topics; collections (00-XX)
1 Computer science (68-XX)

Citations by Year