A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141): Difference between revisions

@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Game Refinement Relations and Metrics
@@ Property / cites work: Game Refinement Relations and Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimulation congruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Branching bisimulation for probabilistic systems: characteristics and decidability
+Normal rank
@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / rank @@
+Normal rank
@@ Property / cites work @@
+Converging from branching to linear metrics on Markov chains
+Normal rank
@@ Property / cites work @@
+Q4813207
@@ Property / cites work: Q4813207 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Logical characterization of branching metrics for nondeterministic probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Probabilistic divide \& congruence: branching bisimilarity
+Normal rank
@@ Property / cites work @@
+Raiders of the lost equivalence: probabilistic branching bisimilarity
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Metric reasoning about &amp;#x003BB;-terms: The affine case
@@ Property / cites work: Metric reasoning about λ-terms: The affine case / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Reasoning About $$\lambda $$-Terms: The General Case
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural pseudometrics for nondeterministic probabilistic systems
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Q4992498
@@ Property / cites work: Q4992498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995155
@@ Property / cites work: Q4995155 / rank @@
+Normal rank
@@ Property / cites work @@
+SOS specifications for uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+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 @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus of Cyber-Physical Systems
@@ Property / cites work: A Calculus of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional weak metrics for group key update
@@ Property / cites work: Compositional weak metrics for group key update / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Simulation Quasimetric in a Gossip Scenario
@@ Property / cites work: Weak Simulation Quasimetric in a Gossip Scenario / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553277
@@ Property / cites work: Q4553277 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic calculus of cyber-physical systems
+Normal rank
@@ Property / cites work @@
+Weak bisimulation metrics in models with nondeterminism and continuous state spaces
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and Quantitative Equational Theories for Nondeterminism and Probability
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Measures, Integrals and Martingales
@@ Property / cites work: Measures, Integrals and Martingales / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of a 4th-order curvature condition arising in optimal transport theory
+Normal rank
@@ Property / cites work @@
+A compositional modelling and verification framework for stochastic hybrid systems
+Normal rank