Dissertation. München: Technische Universiät, Institut für Informatik, 1988. In German.
Also as: Report TUM--I8817. Technische Universiät, Institut für Informatik, December 1988. English translation.
Abstract: In der Arbeit wird untersucht, wie Programme in abstrakter Programmiersprache wie CCS oder CSP semantisch konsistent durch endliche graphische Objekte dargestellt werden können. Für diese Darstellung werden endliche Automaten und unterschiedlich mächtige Typen von Petrinetzen verwendet.