1. Baier C, Katoen J (2008) Principles of model checking. The MIT Press, Cambridge
2. Bjørndalen JM, Vinter B, Anshus OJ (2007) PyCSP—communicating sequential processes for python. In: McEwan AA, Schneider SA, Ifill W, Welch PH (eds) The 30th communicating process architectures conference (CPA’07), pp 229–248
3. Brown N (2007) C++CSP2: a many-to-many threading model for multicore architectures. In: Communicating process architectures 2007: WoTUG-30, pp 183–205
4. Brown N, Welch P (2003) An introduction to the Kent C++ CSP Library. Commun Process Archit 2003:139–156
5. Brown NC (2004) C++ CSP networked. Commun Process Archit 2004:185–200