T. D. Chandra, V. Hadzilacos & S. Toueg (1996):
The weakest failure detector for solving consensus.
J. ACM 43(4),
pp. 685–722,
doi:10.1145/234533.234549.
T. D. Chandra & S. Toueg (1996):
Unreliable failure detectors for reliable distributed systems.
J. ACM 43(2),
pp. 225–267,
doi:10.1145/226643.226647.
R. De Nicola & F. Vaandrager (1990):
Action versus state based logics for transition systems.
In: Semantics of Systems of Concurrent Processes,
LNCS 469,
pp. 407–419,
doi:10.1007/3-540-53479-2_17.
A. Francalanza & M. Hennessy (2007):
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
In: ESOP,
LNCS 4421,
pp. 395–410,
doi:10.1007/978-3-540-71316-6_27.
R. Fuzzati, M. Merro & U. Nestmann (2007):
Distributed Consensus, revisited.
Acta Informatica,
pp. 377–425,
doi:10.1007/s00236-007-0052-1.
H. Hansen, H. Virtanen & A. Valmari (2003):
Merging State-Based and Action-Based Verification.
In: ACSD,
pp. 150–156,
doi:10.1109/CSD.2003.1207709.
P. K\begingroupłet [Pleaseinsert\PrerenderUnicodeüintopreamble]fner, U. Nestmann & C. Rickmann (2012):
Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs.
In: IFIP TCS,
LNCS 7604,
pp. 209–224,
doi:10.1007/978-3-642-33475-7_15.
M. K\begingroupłet [Pleaseinsert\PrerenderUnicodeüintopreamble]hnrich (2011):
Approaches to Formal Verification.
Aalborg University.
M. K\begingroupłet [Pleaseinsert\PrerenderUnicodeüintopreamble]hnrich & U. Nestmann (2009):
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.
In: FORTE,
LNCS 5522,
pp. 198–212,
doi:10.1007/978-3-642-02138-1_13.
L. Lamport (1982):
An Assertional Correctness Proof of a Distributed Algorithm.
Sci. Comput. Program. 2(3),
pp. 175–206,
doi:10.1016/0167-6423(83)90014-X.
N. Lynch (1996):
Distributed Algorithms.
Kaufmann Publishers.
R. Milner (1980):
A calculus of communicating systems.
Springer,
doi:10.1007/3-540-10235-3.
R. Milner (1999):
Communicating and mobile systems: the π-calculus.
Cambridge University Press.
R. Milner, J. Parrow & D. Walker (1992):
A calculus of mobile processes, I & II.
Information and Computation 100(1),
pp. 1–77,
doi:10.1016/0890-5401(92)90008-4.
U. Nestmann & R. Fuzzati (2003):
Unreliable Failure Detectors via Operational Semantics.
In: ASIAN,
LNCS 2896,
pp. 54–71,
doi:10.1007/978-3-540-40965-6_5.
D. Sangiorgi & D. Walker (2001):
The π-calculus: A Theory of Mobile Processes.
Cambridge University Press.