Verzeichnis: HOL-CSP

Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/HOL-CSP_PTick/ (Sammlung formaler Beweise Version 2026-5^©)

Quellverzeichnis products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/HOL-CSP_PTick/

document

After_CSP_PTick_Laws.thy
Basic_CSP_PTick_Laws.thy
CSP_PTick_Conclusion.thy
CSP_PTick_Deadlock_Results.thy
CSP_PTick_Introduction.thy
CSP_PTick_Laws.thy
CSP_PTick_Monotonicities.thy
CSP_PTick_Renaming.thy
Events_Ticks_CSP_PTick_Laws.thy
Finite_Ticks.thy
HOL-CSP_PTick.thy
Multi_Sequential_Composition_Generalized.thy
Multi_Synchronization_Product_Generalized.thy
Non_Deterministic_CSP_PTick_Distributivity.thy
Operational_Semantics_CSP_PTick_Laws.thy
ROOT
Read_Write_CSP_PTick_Laws.thy
Sequential_Composition_Generalized.thy
Sequential_Composition_Generalized_Cont.thy
Sequential_Composition_Generalized_Non_Destructive.thy
Step_CSP_PTick_Laws.thy
Step_CSP_PTick_Laws_Extended.thy
Synchronization_Product_Generalized.thy
Synchronization_Product_Generalized_Associativity.thy
Synchronization_Product_Generalized_Commutativity.thy
Synchronization_Product_Generalized_Cont.thy
Synchronization_Product_Generalized_Interpretations.thy
Synchronization_Product_Generalized_Non_Destructive.thy

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.