Formal Models Of Communicating Systems by Benedikt Bollig