H
O
L
-
C
S
P
_
R
S
Process_Restriction_Space
Prefixes_Constructive
Choices_Non_Destructive
Renaming_Non_Destructive
Sequential_Composition_Non_Destructive
Synchronization_Product_Non_Destructive
Throw_Non_Destructive
Interrupt_Non_Destructive
After_Operator_Non_Too_Destructive
Hiding_Destructive
CSP_Restriction_Adm
HOL-CSP_RS