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.
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.
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.
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.
C. A. R. Hoare (1978):
Communicating Sequential Processes.
Commun. ACM 21(8),
pp. 666–677,
doi:10.1145/359576.359585.
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.
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.
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 http://askra.de/papers.html.de.
Glynn Winskel (1993):
The Formal Semantics of Programming Languages: An Introduction.
MIT Press,
Cambridge, MA, USA.
J. Zwiers (1989):
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship.
LNCS 321.
Springer.
Available at http://www.gbv.de/dms/bowker/toc/9783540508458.pdf.