Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems (Logical Methods in Computer Science, 2013)