"Handbook of Process Algebra" von S.A. Smolka ist ein umfassendes Nachschlagewerk, das sich auf die Prozessalgebra konzentriert, eine mathematische Theorie, die zur Beschreibung von parallelen und verteilten Systemen verwendet wird. Das...