Hoares Communicating Sequential Processes: Erweiterung des Spurenmodells