Formal Models Of Communicating Systems