Deciding probabilistic bisimilarity over infinite-state probabilistic systems (Q2482725): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-007-0066-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2020335855
@@ Property / OpenAlex ID: W2020335855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536611
@@ Property / cites work: Q4536611 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of probabilistic systems with faulty communication
+Normal rank
@@ Property / cites work @@
+Q4417850
@@ Property / cites work: Q4417850 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+A note on the attractor-property of infinite-state Markov chains
+Normal rank
@@ Property / cites work @@
+Probabilistic weak simulation is decidable in polynomial time
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / 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 @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673421
@@ Property / cites work: Q4673421 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449237
@@ Property / cites work: Q4449237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank