Compositional State Space Reduction Using Untangled Actions (Q2866342): Difference between revisions

@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+Q4806211
@@ Property / cites work: Q4806211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence for process verification
@@ Property / cites work: Confluence for process verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353637
@@ Property / cites work: Q4353637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270078
@@ Property / cites work: Q4270078 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in the weak modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Confluence Thanks to Extensional Determinism
@@ Property / cites work: Confluence Thanks to Extensional Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest deadlock-preserving congruence
@@ Property / cites work: The weakest deadlock-preserving congruence / rank @@
+Normal rank
@@ Property / cites work @@
+More stubborn set methods for process algebras
@@ Property / cites work: More stubborn set methods for process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3504351
@@ Property / cites work: Q3504351 / rank @@
+Normal rank