Modelling infinitary behaviours of communicating systems