Progress, Justness and Fairness in Modal μ-Calculus Formulae.

Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse

Browse the full CONCUR paper archive.