Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008. ISBN 978-0-262-02649-9
Gerd Behrmann, Alexandre David, Kim G. Larsen.
A Tutorial on Uppaal.
In M. Bernardo, F. Corradini (eds.) Formal Methods for the Design of Real-Time Systems, LNCS 3185, 200–236, Springer, 2004
doi: 10.1007/978-3-540-30080-9_7,
updated pdf available at here
Timothy Bourke, Rob van Glabbeek, Peter Höfner.
Mechanizing a Process Algebra for Network Protocols.
In Journal of Automated Reasoning 56(3):309-341, Springer, 2016.
doi: 10.1007/s10817-015-9358-9
Edmund Clarke, Orna Grumberg and Doron Peled. Model Checking. MIT Press, 2000.
Emil Bres, Rob van Glabbeek, Peter Höfner.
A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract).
In Programming Languages and Systems (ESOP'16). Lecture Notes in Computer Science 9632, 95-122, Springer, 2016.
doi: 10.1007/978-3-662-49498-1_5
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lan Tan.
A Process Algebra for Wireless Mesh Networks.
In H. Seidl (ed.), Programming Languages and Systems (ESOP'12). Lecture Notes in Computer Science 7211, pp. 295-315, Springer, 2012.
doi: 10.1007/978-3-642-28869-2_15
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lan Tan.
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
Technical Report 5513, NICTA. 2013.
arXiv: CoRR abs/1312.7645
Rob van Glabbeek.
Structural Operational Semantics—The main definitions.
available here.
Rob van Glabbeek, Peter Höfner.
Progress, Fairness and Justness in Process Algebra.
arXiv: CoRR abs/1501.03268
Rob van Glabbeek, Peter Höfner, Marius Portmann, Wee Lan Tan.
Modelling and Verifying the AODV Routing Protocol.
In Distributed Computing 29(4):279-315, Springer, 2016.
arXiv: CoRR abs/1512.08867, doi: 10.1007/s00446-015-0262-7
Peter Höfner.
Using Process Algebra to Design Better Protocols.
In The Role and Importance of Mathematics in Innovation, Mathematics for Industry 25:87-101, Springer, 2016.
doi: 10.1007/978-981-10-0962-4_8
Michael Huth, Mark Ryan. Logic in Computer Science (2nd edition). Cambridge University Press, 2004.
Lesslie Lamport. Proving the Correctness of Multiprocess Programs. In IEEE Transactions of Software Engineering 3(2): 125-143, IEEE, 1977.
Z. Manna, A. Pnueli. Temporal Verification of Reactive Systems *Safety*., Springer, 1995
Tobias Nipkow and Gerwin Klein. Concrete semantics with Isabelle/HOL. Springer, 2014.