H
O
L
-
C
S
P
M
Dependents
2023
Operational Semantics formally proven in HOL-CSP
by
Benoît Ballenghien
and
Burkhart Wolff
Dec 24