Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems.

Roy Mennicke

Browse the full CONCUR paper archive.