Email Record: Formal models of communicating systems :