CSP-Prover
an interactive theorem prover on the process algebra CSP based on the theorem prover Isabelle
This page has been moved to
New URL:
http://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html
Last modified: 27 December 2004