Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2009.11.002
@@ Property / DOI: 10.1016/j.ic.2009.11.002 / rank @@
-Normal rank
@@ 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.1016/j.ic.2009.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2056928795
@@ Property / OpenAlex ID: W2056928795 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of capacities
@@ Property / cites work: Theory of capacities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5658888
@@ Property / cites work: Q5658888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Bisimulation Metrics for Continuous Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Continuous Capacities on Continuous State Spaces
@@ Property / cites work: Continuous Capacities on Continuous State Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract denotational models for nonuniform concurrent languages
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Continuous Time Markov Chains
@@ Property / cites work: Finite Continuous Time Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5512462
@@ Property / cites work: Q5512462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q5516366
@@ Property / cites work: Q5516366 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2009.11.002
@@ Property / DOI: 10.1016/J.IC.2009.11.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2266992