Formal Models Of Communicating Systems door Benedikt Bollig