An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.

Doron A. Peled, Thomas Wilke, Pierre Wolper

Browse the full CONCUR paper archive.