Propositional Dynamic Logic for Hyperproperties.

Jens Oliver Gutsfeld, Markus Mller-Olm, Christoph Ohrem

Browse the full CONCUR paper archive.