Müsste auf S. 153  bei der Defintion von Verzeigungs-Bisimulation, Punkt 3 (bzw .4) nicht eher so lauten:
[img]http://mokrates.de/cgi-bin/texstring?p\stackrel{a}{\rightarrow}\surd\Longrightarrow p\stackrel{\tau}{\rightarrow}\cdots\stackrel{a}{\rightarrow}\surd[/img]

mit

[img]http://mokrates.de/cgi-bin/texstring?a\in A\cup\{\tau\}[/img]

oder so ähnlich