Confluence Reduction for Probabilistic Systems (Q3000663): Difference between revisions

@@ Property / cites work @@
+Q4806211
@@ Property / cites work: Q4806211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848414
@@ Property / cites work: Q2848414 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
+Normal rank
@@ Property / cites work @@
+Confluence for process verification
@@ Property / cites work: Confluence for process verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Reduction for Probabilistic Systems
@@ Property / cites work: Confluence Reduction for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State Space Reduction of Linear Processes Using Control Flow Reconstruction
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank