Milners Kalkül Kommunizierender Systeme (CCS) Arnaud Fietzke betreut durch Tim Priesnitz, Guido Tack Programming Systems Lab – Prof. Gert Smolka Proseminar: