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