Zur Zeit macht Herr Moldt die Vorlesung und wir sind im Kapitel 4 Prozessalgebra bis Seite 172 gekommen. Weiterhin gibt es zu dem Thema empfehlende Literatur unter: www.cs.vu.nl/~wanf/books.html Introdocution in Process Algebra als Free-book im pdf Format zum Download.