Logics for Context-Free Hyperproperties.

Sarah Winter, Martin Zimmermann

Browse the full MFCS paper archive.