Algebra for Infinite Forests with an Application to the Temporal Logic EF.

Mikolaj Bojanczyk, Tomasz Idziaszek

Browse the full CONCUR paper archive.