Prozessalgebra

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.