next up previous
Nächste Seite: Plan Aufwärts: Sprachkonzepte der Parallelen Programmierung Vorherige Seite: Beschränkte Rekursion

Bisimulation von Prozessen


Unterabschnitte
Johannes Waldmann 2011-06-29