Lehrprofessur für Nebenläufige Systeme https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/educo-inf/
Universität Augsburg Lehrprofessur Nebenläufige Systeme
Form der Transition, nämlich eine stille Transition (markiert mit dem griechischen Buchstaben