I. Balaban, A. Pnueli & L. D. Zuck (2006):
Invisible Safety of Distributed Protocols.
In: ICALP '06,
pp. 528–539,
doi:10.1007/11787006_45.
P. Bokor, M. Serafini & N. Suri (2010):
On efficient models for model checking message-passing distributed protocols.
In: Formal Techniques for Distributed Systems.
Springer,
pp. 216–223,
doi:10.1007/978-3-642-13464-7_17.
M. Burrows (2006):
The Chubby lock service for loosely-coupled distributed systems.
In: OSDI '06,
pp. 335–350.
G. Delzanno, A. Rensink & R. Traverso (2014):
Graph- versus Vector-Based Analysis of a Consensus Protocol.
G. Delzanno, A. Sangnier & R. Traverso (2013):
Parameterized Verification of Broadcast Networks of Register Automata.
In: RP '13,
pp. 109–121,
doi:10.1007/978-3-642-41036-9_11.
G. Delzanno, A. Sangnier, R. Traverso & G. Zavattaro (2012):
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
In: FSTTCS '12,
pp. 289–300,
doi:10.4230/LIPIcs.FSTTCS.2012.289.
G. Delzanno, A. Sangnier & G. Zavattaro (2010):
Parameterized Verification of Ad Hoc Networks.
In: CONCUR '10,
pp. 313–327,
doi:10.1007/978-3-642-15375-4_22.
G. Delzanno, A. Sangnier & G. Zavattaro (2011):
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.
In: FOSSACS '11,
pp. 441–455,
doi:10.1007/978-3-642-19805-2_30.
G. Delzanno & R. Traverso (2013):
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.
In: LATA '13,
pp. 238–249,
doi:10.1007/978-3-642-37064-9_22.
G. Delzanno & R. Traverso (2013):
Specification and Validation of Link Reversal Routing via Graph Transformations.
In: SPIN '13,
pp. 238–249,
doi:10.1007/978-3-642-39176-7_11.
E. A. Emerson & K. S. Namjoshi (2003):
On Reasoning About Rings.
IJFCS 14(4),
pp. 527–550,
doi:10.1142/S0129054103001881.
A. Fehnker, R. J. van Glabbeek, P. Höfner, A. McIver, M. Portmann & W. L. Tan (2012):
Automated Analysis of AODV Using UPPAAL.
In: TACAS 12,
pp. 173–187,
doi:10.1007/978-3-642-28756-5_13.
A. Fehnker, L. van Hoesel & A. Mader (2007):
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.
In: IFM '07,
pp. 253–272,
doi:10.1007/978-3-540-73210-5_14.
M. J. Fischer, N. A. Lynch & M. Paterson (1985):
Impossibility of Distributed Consensus with One Faulty Process.
J. ACM 32(2),
pp. 374–382,
doi:10.1145/588058.588060.
A. Gmeiner, I. Konnov, U. Schmid, H. Veith & J. Widder (2014):
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.
In: SFM '14,
pp. 122–171,
doi:10.1007/978-3-319-07317-0_4.
A. John, I. Konnov, U. Schmid, H. Veith & J. Widder (2013):
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.
In: SPIN '13,
pp. 209–226,
doi:10.1007/978-3-642-39176-7_14.
S. Joshi & B. König (2008):
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.
In: CAV '08,
pp. 214–226,
doi:10.1007/978-3-540-70545-1_21.
I. Konnov, H. Veith & J. Widder (2012):
Who is afraid of Model Checking Distributed Algorithms?.
CAV Workshop (EC)^2.
L. Lamport (1998):
The Part-time Parliament.
ACM Transactions on Computer Systems 16(3),
pp. 133–169,
doi:10.1145/279227.279229.
L. Lamport (2001):
Paxos Made Simple.
ACM SIGACT News (Distributed Computing Column) 32, 4(121),
pp. 51–58,
doi:10.1145/568425.568433.
L. Lamport (2011):
Byzantizing Paxos by Refinement.
In: DISC 2011,
pp. 211–224,
doi:10.1007/978-3-642-24100-0_22.
K. Marzullo, A. Mei & H. Meling (2013):
A Simpler Proof for Paxos and Fast Paxos.
Course notes.
K. S. Namjoshi & R. J. Trefler (2013):
Uncovering Symmetries in Irregular Process Networks.
In: VMCAI '13,
pp. 496–514,
doi:10.1007/978-3-642-35873-9_29.
M. Saksena, O. Wibling & B. Jonsson (2008):
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.
In: TACAS '08,
pp. 18–32,
doi:10.1007/978-3-540-78800-3_3.
A. Singh, C. R. Ramakrishnan & S. A. Smolka (2009):
Query-Based Model Checking of Ad Hoc Network Protocols.
In: CONCUR '09,
pp. 603–619,
doi:10.1007/978-3-642-04081-8_40.
T. Tsuchiya & A. Schiper (2008):
Using bounded model checking to verify consensus algorithms.
In: Distributed Computing.
Springer,
pp. 466–480,
doi:10.1007/978-3-540-87779-0_32.
eptcs@eptcs.org