A Modal Mu-Calculus for Durational Transition Systems.

Helmut Seidl

Browse the full LICS paper archive.