1. B. Bartels & S. Glesner (2011): Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementation Using Timed CSP. In: T. Dan Thu & K. Leung: Proceedings of the 18th Asia Pacific Software Engineering Conference (APSEC 2011). IEEE Computer Society, pp. 195–202, doi:10.1109/APSEC.2011.52.
  2. Björn Bartels & Nils Jähnig (2014): Mechanized, Compositional Verification of Low-Level Code. In: JuliaM. Badger & KristinYvonne Rozier: NASA Formal Methods, LNCS 8430. Springer International Publishing, pp. 98–112, doi:10.1007/978-3-319-06200-6_8.
  3. Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov & A. W. Roscoe (2014): FDR3 - A Modern Refinement Checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, pp. 187–201, doi:10.1007/978-3-642-54862-8_13.
  4. Sabine Glesner, Björn Bartels, Thomas Göthel & Moritz Kleine (2010): The VATES-Diamond as a Verifier's Best Friend. In: Simon Siegler & Nathan Wasser: Verification, Induction, Termination Analysis, LNCS 6463. Springer Berlin Heidelberg, pp. 81–101, doi:10.1007/978-3-642-17172-7_5.
  5. C. A. R. Hoare (1978): Communicating Sequential Processes. Commun. ACM 21(8), pp. 666–677, doi:10.1145/359576.359585.
  6. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL — A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer, doi:10.1007/3-540-45949-9.
  7. Ando Saabas & Tarmo Uustalu (2005): A compositional natural semantics and Hoare logic for low-level languages. In: Proceedings of the Second Workshop on Structured Operational Semantics. Elsevier, pp. 151–168, doi:10.1016/j.entcs.2005.09.031.
  8. Steve Schneider (1999): Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York, NY, USA. Available at
  9. Hendrik Tews (2004): Verifying Duff's device: A simple compositional denotational semantics for Goto and computed jumps. Technical Report. Technische Universität Dresden. Available at
  10. Glynn Winskel (1993): The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge, MA, USA.
  11. J. Zwiers (1989): Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship. LNCS 321. Springer. Available at

Comments and questions to:
For website issues: