Login / Signup
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
Mohamad Jaber
Yliès Falcone
Paul C. Attie
Al-Abbass Khalil
Rayan Hallal
Published in:
CoRR (2019)
Keyphrases
</>
provably correct
multi agent
distributed systems
lightweight
constraint satisfaction
distributed environment
global information
formal methods
fully distributed
global knowledge
globally distributed