On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690): Difference between revisions

@@ Property / cites work @@
+Local model checking for infinite state spaces
@@ Property / cites work: Local model checking for infinite state spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of dynamic process networks
@@ Property / cites work: Proving properties of dynamic process networks / rank @@
+Normal rank
@@ Property / cites work @@
+-Calculus with Explicit Points and Approximations
@@ Property / cites work: -Calculus with Explicit Points and Approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738238
@@ Property / cites work: Q4738238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / rank @@
+Normal rank
@@ Property / cites work @@
+Local model checking in the modal mu-calculus
@@ Property / cites work: Local model checking in the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank