Specification-based Synthesis of Distributed Self-Stabilizing Protocols.

Fathiyeh Faghih Borzoo Bonakdarpour Sébastien Tixeuil Sandeep S. Kulkarni

Published in: CoRR (2015)

Keyphrases

distributed systems
cooperative
peer to peer
formal specification
distributed environment
multi agent
database replication
data sets
commit protocols
multi party
response time
model checking
high level
case study
e learning
operational semantics
information systems
databases