menu

Return to entry

Introduction
Deterministic_Processes
Process_Normalization
Process_Normalization_Properties
Combining_Synchronization_Product
Compactification_Synchronization_Product
Combining_Synchronization_Product_Generalized
Compactification_Synchronization_Product_Generalized
Combining_Sequential_Composition_Generalized
Compactification_Sequential_Composition_Generalized
Compactification_DiningPhilosophers
Almost_Compactification
HOL-CSP_Proc-Omata
Conclusion

HOL-CSP_Proc-Omata.Compactification_DiningPhilosophers

HTML Presentation