Questions tagged [mu-calculus]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1 votes
1 answer
632 views

Understanding the reason behind the μ (mu) operator [closed]

What is the purpose of the $\mu$ operator? Is there a real world example? Is it correct that it can create partial functions out of total functions and it makes a function $g$ with k parameters out ...
user avatar
  • 135