@inproceedings{bokor:hal-01055152, TITLE = {{On Efficient Models for Model Checking Message-Passing Distributed Protocols}}, AUTHOR = {Bokor, P{\'e}ter and Serafini, Marco and Suri, Neeraj}, URL = {https://inria.hal.science/hal-01055152}, BOOKTITLE = {{Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)}}, ADDRESS = {Amsterdam, Netherlands}, EDITOR = {John Hatcliff; Elena Zucca}, PUBLISHER = {{Springer}}, SERIES = {Formal Techniques for Distributed Systems}, VOLUME = {LNCS-6117}, PAGES = {216-223}, YEAR = {2010}, MONTH = Jun, DOI = {10.1007/978-3-642-13464-7\_17}, PDF = {https://inria.hal.science/hal-01055152/file/61170213.pdf}, HAL_ID = {hal-01055152}, HAL_VERSION = {v1}, }