Find link

language:

Find link is a tool written by Edward Betts.

searching for Modal μ-calculus 3 found (19 total)

Fixed point (mathematics) (1,679 words) [view diff] exact match in snippet view article

Lectures on the Modal μ-calculus Archived March 21, 2012, at the Wayback Machine Yde Venema (2008) Lectures on the Modal μ-calculus Archived March 21

Muller automaton (648 words) [view diff] exact match in snippet view article find links to article

tutorial by Paritosh K. Pandya. Yde Venema (2008) Lectures on the Modal μ-calculus; the 2006 version was presented at The 18th European Summer School

Computation tree logic (2,913 words) [view diff] no match in snippet view article find links to article

Computation tree logic (CTL) is a subset of CTL* as well as of the modal μ calculus. CTL is also a fragment of Alur, Henzinger and Kupferman's alternating-time