12 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
Martin Lange, Etienne Lozes
The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property tha…