Special:EditPage/Calculus of communicating systems