H
O
L
-
C
S
P
_
O
p
S
em
Introduction
Initials
After_Operator
After_Ext_Operator
After_Trace_Operator
Motivations
Operational_Semantics_Laws
Recovered_Laws
Comparison_He_Hoare
OpSem_Deadlock_Results
CSP_New_Laws
Conclusion