menu

Return to entry

Introduction
Induction_Rules_CSPM
Global_Deterministic_Choice
Multi_Synchronization_Product
Multi_Sequential_Composition
Throw
Interrupt
CSPM_Monotonies
Non_Deterministic_CSPM_Distributivity
Step_CSPM_Laws
Step_CSPM_Laws_Extended
Read_Write_CSPM_Laws
CSPM_Laws
Events_Ticks_CSPM_Laws
CSPM_Deadlock_Results
HOL-CSPM
DiningPhilosophers
POTS
Conclusion

HOL-CSPM.DiningPhilosophers

HTML Presentation