Login / Signup

Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk).

Mooly Sagiv
Published in: FSTTCS (2016)
Keyphrases
  • invited talk
  • distributed systems
  • distributed environment
  • cooperative
  • database
  • lightweight
  • selected papers