Operational Semantics formally proven in HOL-CSP

MaRDI QIDQ7361159FDO

Authors Benoît Ballenghien, Burkhart Wolff

Publication date 24 December 2023

Cites work

• An operational semantics in Isabelle/HOL-CSP
• Unnamed Publication
• The expressiveness of CSP with priority
• Understanding concurrent systems

Cited in

(1)

• CSP Semantics over Restriction Spaces

This page was built for software: Operational Semantics formally proven in HOL-CSP