Properties, transformations and global events in concurrent systemsShengzong ZhouAusverkauftBuch bewachen