Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.

Pter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith

Browse the full ICFEM paper archive.