21 search results - page 5 / 5 » Complexity of Model Checking by Iterative Improvement: The P... |
ICFEM
2009
Springer
14 years 5 days ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...