Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith. Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. In Karin Breitman, Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Volume 5885 of Lecture Notes in Computer Science, pages 147-166, Springer, 2009. [doi]
@inproceedings{BokorSSV09,
title = {Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support},
author = {Péter Bokor and Marco Serafini and Neeraj Suri and Helmut Veith},
year = {2009},
doi = {10.1007/978-3-642-10373-5_8},
url = {http://dx.doi.org/10.1007/978-3-642-10373-5_8},
tags = {rule-based, protocol},
researchr = {https://researchr.org/publication/BokorSSV09},
cites = {0},
citedby = {0},
pages = {147-166},
booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},
editor = {Karin Breitman and Ana Cavalcanti},
volume = {5885},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-10372-8},
}