login
Registrieren
Login
Bibliothek
Das System
Kontakt
Formale Methoden
Prozessalgebra
Liste
erweitert
Stapel lernen
drucken
Prozessalgebra
Warum Prozessalgebra
Prozess vs Automat
Definition
action
choice
termination
$\tau$
Axiome für die Operationen
parallel composition
restriction und relabeling
Kommunikation CSP-like
Kommunikation CCS-like
Linear/Branching-Time-Spectrum
Trace Semantik
Completed Trace Semantik
Failures Semantik
Failure Trace Semantik
Ready Trace Semantik
Simulation Semantik
Bisimulation Semantik
Tree Semantik
Preorders
$\pi$ Kalkül
Operationen $\pi$ Kalkül
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2025 Philipp Schweers