Proving properties of dynamic process networks (Q1383156): Difference between revisions

@@ Property / cites work @@
+Q4187288
@@ Property / cites work: Q4187288 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about higher-order processes
@@ Property / cites work: Reasoning about higher-order processes / rank @@
+Normal rank
@@ 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 @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+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 @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Owicki-Gries's Hoare logic for a concurrent while language
+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 @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+A note on model checking the modal \(\nu\)-calculus
+Normal rank