On the Expressiveness of QCTL.

Amlie David, Franois Laroussinie, Nicolas Markey

Browse the full CONCUR paper archive.