Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22012-8_23
+Normal rank
@@ Property / OpenAlex ID @@
+W40031358
@@ Property / OpenAlex ID: W40031358 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Generalized Strong Preservation by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
+Normal rank
@@ Property / cites work @@
+A Space-Efficient Probabilistic Simulation Algorithm
+Normal rank