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/ (Sammlung formaler Beweise Version 2026-5^©)

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

document

Basic_CSP_Laws.thy
CSP_Assertions.thy
CSP_Laws.thy
CSP_Monotonies.thy
CSP_Refinements.thy
Conclusion.thy
Constant_Processes.thy
CopyBuffer.thy
Deterministic_Choice.thy
Events_Ticks_CSP_Laws.thy
Global_Non_Deterministic_Choice.thy
HOL-CSP.thy
Hiding.thy
Induct_CSP_Rules.thy
Introduction.thy
MergeAnomaly.thy
Multi_Deterministic_Prefix_Choice.thy
Multi_Non_Deterministic_Prefix_Choice.thy
Non_Deterministic_CSP_Distributivity.thy
Non_Deterministic_Choice.thy
Process.thy
ROOT
Read_Write_CSP_Laws.thy
Renaming.thy
Sequential_Composition.thy
Sliding_Choice.thy
Step_CSP_Laws.thy
Step_CSP_Laws_Extended.thy
Synchronization_Product.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.