Login / Signup

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems.

Wolf HonoréJieung KimJi-Yong ShinZhong Shao
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • distributed systems
  • management system
  • distributed environment
  • fault tolerant
  • fault tolerance
  • databases
  • case study
  • response time
  • operating system
  • mobile agents