menu

Return to entry

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
HOL-CSP_OpSem
Conclusion

HOL-CSP_OpSem.CSP_New_Laws

HTML Presentation