We introduce the countdown μ-calculus, an extension of the modal
μ-calcu...
One of the main reasons for the correspondence of regular languages and
...
Bisimilarity as an equivalence notion of systems has been central to pro...
We study an extension of modal mu-calculus to sets with atoms and we stu...
We investigate the isomorphism problem in the setting of definable sets
...