A metrized duality theorem for Markov processes (Q283765): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.10.012
@@ Property / DOI: 10.1016/j.entcs.2014.10.012 / 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.entcs.2014.10.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2157267904
@@ Property / OpenAlex ID: W2157267904 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317843
@@ Property / Wikidata QID: Q113317843 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive epistemology. II: Probability
@@ Property / cites work: Interactive epistemology. II: Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137140
@@ Property / cites work: Q3137140 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q2915679
@@ Property / cites work: Q2915679 / 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 @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction Systems for Coalgebras Over Measurable Spaces
+Normal rank
@@ Property / cites work @@
+Probability logic for type spaces
@@ Property / cites work: Probability logic for type spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Stone Duality for Markov Processes
@@ Property / cites work: Stone Duality for Markov Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Continuous Markovian Logics - Axiomatization and Quantified Metatheory
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.10.012
@@ Property / DOI: 10.1016/J.ENTCS.2014.10.012 / rank @@
+Normal rank