Modellierung nebenläufiger Systeme

Zur Nachbereitung der Vorlesung Modellierung nebenläufiger Systeme habe ich begonnen, meine Mitschrift in LaTeX zu schreiben.

Die aktuelle Version könnt ihr aus meinem Git herunterladen. Da könnt ihr auch das ganze Repository clonen und mithelfen, wenn ihr wollt.