Complete axiomatization for the total variation distance of Markov chains (Q2130580): Difference between revisions

@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / 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.2018.03.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2802472755
@@ Property / OpenAlex ID: W2802472755 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Axioms for Probabilistic Bisimilarity
@@ Property / cites work: Equational Axioms for Probabilistic Bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+Converging from Branching to Linear Metrics on Markov Chains
+Normal rank
@@ Property / cites work @@
+On the Total Variation Distance of Semi-Markov Chains
+Normal rank
@@ Property / cites work @@
+Q4608673
@@ Property / cites work: Q4608673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Syntax and Axioms for Quantitative Regular Behaviours
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Axiomatizations for probabilistic finite-state behaviors
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q2847403
@@ Property / cites work: Q2847403 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for trace congruence of finite state behaviors
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Quantitative Kleene coalgebras
@@ Property / cites work: Quantitative Kleene coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Postulates for the barycentric calculus
@@ Property / cites work: Postulates for the barycentric calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating and computing behavioural distances in probabilistic transition systems
+Normal rank