Ein kompakter Überblick über die Semantik paralleler Prozesse aus der LITP-Spring School 1990, der die Grundlagen der Modellierung und Analyse von Concurrent Systems in theoretischer Informatik anschaulich erklärt.