Reference:

Loïg Jezequel and Javier Esparza. Message-passing algorithms for the verification of distributed protocols. In VMCAI, pages 222–241, 2014.

Suggested BibTeX entry:

@inproceedings{JezequelE14,
    author = {Lo\"{\i}g Jezequel and Javier Esparza},
    booktitle = {VMCAI},
    pages = {222-241},
    title = {Message-Passing Algorithms for the Verification of Distributed Protocols},
    year = {2014}
}