Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hallal, Rayan"'
We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided processes whi
Externí odkaz:
http://arxiv.org/abs/1905.13529
Autor:
Jaber, Mohamad, Falcone, Yliès, Attie, Paul, Khalil, Al-Abbass, Hallal, Rayan, El-Hokayem, Antoine
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2020 115
