Bollig, Benedikt: Formal Models of Communicating Systems | DealShopping Deutschland