Mu-Calculus is an expressive logic with explicit least and greatest fixed point operators for representing temporal properties. It is more general than logics like LTL (linear temporal logic), CTL (computation tree logic), CTL∗— properties expressed in these logics can be represented using mu-calculus.
need to know more details
Possibly related posts: (automatically generated)
This entry was posted on May 12, 2008 at 12:25 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.
Name (required)
E-mail (will not be published) (required)
Website
Notify me of follow-up comments via email.
