π-Kalkül ist ein Prozesskalkül, der von Robin Milner, Joachim Parrow und David Walker als Nachfolger des Calculus of Communicating Systems (CCS) entwickelt wurde. Ziel war die Entwicklung einer formellen Beschreibung von nebenläufigen Systemen, die sich während der Laufzeit verändern. Ein Anwendungszweck dieser Art von Verfahren ist die Simu...