Verzeichnis: CCS/

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/CCS/ (Archive of formal Proofs Version 2026-5^©)

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

document

Agent.thy
ROOT
Strong_Bisim.thy
Strong_Bisim_Pres.thy
Strong_Bisim_SC.thy
Strong_Sim.thy
Strong_Sim_Pres.thy
Strong_Sim_SC.thy
Struct_Cong.thy
Tau_Chain.thy
Weak_Bisim.thy
Weak_Bisim_Pres.thy
Weak_Cong.thy
Weak_Cong_Pres.thy
Weak_Cong_Semantics.thy
Weak_Cong_Sim.thy
Weak_Cong_Sim_Pres.thy
Weak_Semantics.thy
Weak_Sim.thy
Weak_Sim_Pres.thy

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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.