A Corrected Failure Divergence Model for CSP in Isabelle/HOL.

Haykal Tej, Burkhart Wolff

Browse the full FM paper archive.