Login / Signup

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

Fathiyeh FaghihBorzoo BonakdarpourSébastien TixeuilSandeep S. Kulkarni
Published in: FORTE (2016)
Keyphrases
  • distributed systems
  • peer to peer
  • multi party
  • cooperative
  • distributed environment
  • computer networks
  • distributed data
  • high level
  • communication cost
  • group communication
  • protocol specification