Algebras for communicating systems