Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL
Primary LanguageIsabelle
No issues in this repository yet.