An Operational Semantics in Isabelle/HOL-CSP.

Benot Ballenghien, Burkhart Wolff

Browse the full ITP paper archive.