Login / Signup

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

Roy Mennicke
Published in: CONCUR (2012)
Keyphrases