Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte / Stefan Conrad