From global choreographies to verifiable efficient distributed implementations

Mohamad Jaber, Yliès Falcone, Paul Attie, Al Abbass Khalil, Rayan Hallal, Antoine El-Hokayem

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'From global choreographies to verifiable efficient distributed implementations'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science