Text this: Formal Models of Communicating Systems