SMT-Based Synthesis of Distributed Self-stabilizing Systems.

Fathiyeh Faghih Borzoo Bonakdarpour

Published in: SSS (2014)

Keyphrases

distributed systems
computer systems
complex systems
distributed environment
high scalability
data sets
lightweight
fault tolerant
computing environments
computing systems
data intensive
distributed architecture
mission critical
distributed network
distributed object