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