Title: Topology in Process Calculus
Subjects: Beweis, Korrektheit, Bisimulation, Prozessalgebra, Paralleles Programm