Global Caching for the Alternation-free μ-Calculus.

Daniel Hausmann, Lutz Schrder, Christoph Egger

Browse the full CONCUR paper archive.