Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support
Keyword(s):
2009 ◽
pp. 289-290
Keyword(s):