Deciding bisimilarity and similarity for probabilistic processes. (Q1975973): Difference between revisions

@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q4222911
@@ Property / cites work: Q4222911 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038695
@@ Property / cites work: Q4038695 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes
@@ Property / cites work: Testing preorders for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624995
@@ Property / cites work: Q5624995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255553
@@ Property / cites work: Q4255553 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating BDDs for symbolic model checking in CCS
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Q3292914
@@ Property / cites work: Q3292914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032309
@@ Property / cites work: Q4032309 / rank @@
+Normal rank
@@ Property / cites work @@
+An \(O(IVI^3)\) algorithm for finding maximum flows in networks
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Search Trees of Bounded Balance
@@ Property / cites work: Binary Search Trees of Bounded Balance / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+Processes with probabilities, priority and time
@@ Property / cites work: Processes with probabilities, priority and time / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank