CSP: Syntax

E ist eine Menge von Ereignissen

Die Menge $ \mathbb {P}$ (E) der Prozesse über E definiert durch:



Johannes Waldmann 2013-02-01