www.prismmodelchecker.org
[Gol04] M. Goldsmith. CSP: The Best Concurrent-System Description Language in the World - Probably!. In Proc. Communicating Process Architectures (CPA'04). 2004. [bib] http://www.wotug.org/cpa2004/programme.shtml
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications