@article(DBLP:journals/jacm/ChandraHT96,
 author       = "T.~D. Chandra and V.~Hadzilacos and S.~Toueg",
 year         = "1996",
 title        = "The weakest failure detector for solving consensus",
 journal      = "J. ACM",
 volume       = "43",
 number       = "4",
 pages        = "685--722",
 doi          = "10.1145/234533.234549",
)
@article(DBLP:journals/jacm/ChandraT96,
 author       = "T.~D. Chandra and S.~Toueg",
 year         = "1996",
 title        = "Unreliable failure detectors for reliable distributed systems",
 journal      = "J. ACM",
 volume       = "43",
 number       = "2",
 pages        = "225--267",
 doi          = "10.1145/226643.226647",
)
@incollection(denicola90,
 author       = "R.~De~Nicola and F.~Vaandrager",
 year         = "1990",
 title        = "Action versus state based logics for transition systems",
 booktitle    = "Semantics of Systems of Concurrent Processes",
 series       = "LNCS",
 volume       = "469",
 pages        = "407--419",
 doi          = "10.1007/3-540-53479-2\_17",
)
@inproceedings(DBLP:conf/esop/FrancalanzaH07,
 author       = "A.~Francalanza and M.~Hennessy",
 year         = "2007",
 title        = "{A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)}",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "4421",
 pages        = "395--410",
 doi          = "10.1007/978-3-540-71316-6\_27",
)
@article(nestmann07,
 author       = "R.~Fuzzati and M.~Merro and U.~Nestmann",
 year         = "2007",
 title        = "{Distributed Consensus, revisited}",
 journal      = "Acta Informatica",
 pages        = "377--425",
 doi          = "10.1007/s00236-007-0052-1",
)
@inproceedings(DBLP:conf/acsd/HansenVV03,
 author       = "H.~Hansen and H.~Virtanen and A.~Valmari",
 year         = "2003",
 title        = "{Merging State-Based and Action-Based Verification}",
 booktitle    = "ACSD",
 pages        = "150--156",
 doi          = "10.1109/CSD.2003.1207709",
)
@inproceedings(kuefner.etal-TCS12,
 author       = "P.~K\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ü}intopreamble]fner and U.~Nestmann and C.~Rickmann",
 year         = "2012",
 title        = "{Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs}",
 booktitle    = "IFIP TCS",
 series       = "LNCS",
 volume       = "7604",
 pages        = "209--224",
 doi          = "10.1007/978-3-642-33475-7\_15",
)
@phdthesis(mortenPhD,
 author       = "M.~K\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ü}intopreamble]hnrich",
 year         = "2011",
 title        = "{Approaches to Formal Verification}",
 school       = "Aalborg University",
)
@incollection(diplomarbeitvorlage,
 author       = "M.~K\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ü}intopreamble]hnrich and U.~Nestmann",
 year         = "2009",
 title        = "{On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems}",
 booktitle    = "FORTE",
 series       = "LNCS",
 volume       = "5522",
 pages        = "198--212",
 doi          = "10.1007/978-3-642-02138-1\_13",
)
@article(lamport82assertional,
 author       = "L.~Lamport",
 year         = "1982",
 title        = "{An Assertional Correctness Proof of a Distributed Algorithm}",
 journal      = "Sci. Comput. Program.",
 volume       = "2",
 number       = "3",
 pages        = "175--206",
 doi          = "10.1016/0167-6423(83)90014-X",
)
@book(lynch:distributed,
 author       = "N.~Lynch",
 year         = "1996",
 title        = "{Distributed Algorithms}",
 publisher    = "Kaufmann Publishers",
)
@book(CCS,
 author       = "R.~Milner",
 year         = "1980",
 title        = "A calculus of communicating systems",
 publisher    = "Springer",
 doi          = "10.1007/3-540-10235-3",
)
@book(Milner:pi-calc,
 author       = "R.~Milner",
 year         = "1999",
 title        = "Communicating and mobile systems: the $\pi $-calculus",
 publisher    = "Cambridge University Press",
)
@article(picalculus,
 author       = "R.~Milner and J.~Parrow and D.~Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, {I} \& {II}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--77",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@inproceedings(DBLP:conf/asian/NestmannF03,
 author       = "U.~Nestmann and R.~Fuzzati",
 year         = "2003",
 title        = "{Unreliable Failure Detectors via Operational Semantics}",
 booktitle    = "ASIAN",
 series       = "LNCS",
 volume       = "2896",
 pages        = "54--71",
 doi          = "10.1007/978-3-540-40965-6\_5",
)
@book(sang,
 author       = "D.~Sangiorgi and D.~Walker",
 year         = "2001",
 title        = "{The $\pi $-calculus: A Theory of Mobile Processes}",
 publisher    = "Cambridge University Press",
)