Prozessalgebren (das stochastische PI Kalkül)

$\pi$-Kalkül - Idee 
$\pi$-Kalkül - Syntax 
$\pi$-Kalkül - Strukturelle Kongruenz 
Stochastisches $\pi$-Kalkül