A behavioural pseudometric for probabilistic transition systems

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Theoretical Computer Science

• Publication date

  2005-02-15

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/j.tcs.2004.09.035
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Wiley Series in Probability and Mathematical Statistics

  2005cited by this paper
• Preliminary Version Metrics for Action-labelled Quantitative Transition Systems 1

  2005cited by this paper
• Probabilistic Extensions of Semantical Models

  2002cited by this paper
• An Algorithm for Quantitative Verification of Probabilistic Transition Systems

  2001cited by this paper
• Universal coalgebra: a theory of systems

  2000cited by this paper
• Approximating labeled Markov processes

  2000influential reference
• Domain equations for probabilistic processes

  2000cited by this paper
• Metrics for Labeled Markov Systems

  1999influential reference
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

  1998cited by this paper
• Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach

  1997influential reference
• Bisimulation for labelled Markov processes

  1997cited by this paper
• Integral, probability, and fractal measures

  1997cited by this paper
• Quantitative analysis and model checking

  1997cited by this paper
• A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes

  1997cited by this paper
• Probabilistic Metric Semantics for a Simple Language with Recursion

  1996cited by this paper
• Reactive, Generative and Stratified Models of Probabilistic Processes

  1995cited by this paper
• A Fixed-Point Theorem in a Category of Compact Metric Spaces

  1995cited by this paper
• On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders

  1992cited by this paper
• Probability Metrics and the Stability of Stochastic Models

  1991cited by this paper
• Bisimulation through Probabilistic Testing

  1991influential reference
• Reactive, generative, and stratified models of probabilistic processes

  1990cited by this paper
• Algebraic Reasoning for Probabilistic Concurrent Systems

  1990influential reference
• Fractals everywhere

  1988cited by this paper
• Solving Reflexive Domain Equations in a Category of Complete Metric Spaces

  1987cited by this paper
• A probabilistic PDL

  1983cited by this paper
• Probability and Measure

  1980cited by this paper
• Real analysis and probability

  1975cited by this paper
• Introduction to Metric and Topological Spaces

  1975cited by this paper
• Metric spaces, generalized logic, and closed categories

  1973cited by this paper
• Categories for the Working Mathematician

  1971cited by this paper
• Probability measures on metric spaces

  year unknowncited by this paper

• Complete Diagrammatic Axiomatisations of Relative Entropy

  2026cites this paper
• Computing Distinguishing Formulae for Threshold-Based Behavioural Distances

  2026cites this paper
• Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach

  2025cites this paper
• A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems

  2025cites this paper
• Non-Expansive Fuzzy Coalgebraic Logic

  2025influential citation
• Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich

  2025cites this paper
• Two behavioural pseudometrics for continuous-time Markov processes

  2025influential citation
• ε-Distance via Lévy-Prokhorov Lifting

  2025influential citation
• Universal Quantitative Abstraction: Categorical Duality and Logical Completeness for Probabilistic Systems

  2025cites this paper
• Non-expansive Fuzzy ALC

  2025cites this paper
• Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

  2025cites this paper
• Constructing Witnesses for Lower Bounds on Behavioural Distances

  2025cites this paper
• Behavioural Conformances based on Lax Couplings

  2025cites this paper
• Conformance Games for Graded Semantics

  2024cites this paper
• Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques

  2024cites this paper
• Composing Codensity Bisimulations

  2024cites this paper
• Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams

  2024cites this paper
• Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach

  2024cites this paper
• From Restricted Equivalence Functions on $L^{n}$ to Similarity Measures Between Fuzzy Multisets

  2023cites this paper
• Behavioural pseudometrics for continuous-time diffusions

  2023influential citation
• Back to the format: A survey on SOS for probabilistic processes

  2023influential citation
• Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach

  2023influential citation
• A Cancellation Law for Probabilistic Processes

  2023cites this paper
• Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

  2023cites this paper
• Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

  2023cites this paper
• Quotients and Extensionality in Relational Doctrines

  2023cites this paper
• Quantitative Graded Semantics and Spectra of Behavioural Metrics

  2023cites this paper
• A (Co)Algebraic Framework for Ordered Processes

  2022cites this paper
• Logical Foundations of Quantitative Equality

  2022cites this paper
• Quantitative Hennessy-Milner Theorems via Notions of Density

  2022cites this paper
• Hennessy-Milner Theorems via Galois Connections

  2022cites this paper
• Quantalic Behavioural Distances Functor Liftings, Predicate Liftings, Lax Extensions

  2022cites this paper
• Kantorovich Functors and Characteristic Logics for Behavioural Distances

  2022cites this paper
• A Sound Up-to-n, δ Bisimilarity for PCTL

  2022cites this paper
• Effectful program distancing

  2022influential citation
• Quantitative Equality in Substructural Logic via Lipschitz Doctrines

  2021cites this paper
• Sound approximate and asymptotic probabilistic bisimulations for PCTL

  2021cites this paper
• Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation

  2021cites this paper
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

  2021cites this paper
• A Quantified Coalgebraic van Benthem Theorem

  2021influential citation
• A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations

  2021cites this paper
• Differential Logical Relations Part II: Increments and Derivatives

  2020cites this paper
• Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

  2020influential citation
• Quantitative Simulation Games

  2020cites this paper
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

  2020cites this paper
• Expressive Logics for Coinductive Predicates

  2020cites this paper
• Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations

  2020cites this paper
• Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

  2020cites this paper
• Computing branching distances with quantitative games

  2020cites this paper
• Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

  2019influential citation
• Computing Bisimilarity Metrics for Probabilistic Timed Automata

  2019cites this paper
• Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics

  2019cites this paper
• Computing Branching Distances Using Quantitative Games

  2019cites this paper
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems

  2019cites this paper
• A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic

  2019cites this paper
• Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

  2019cites this paper
• Up-To Techniques for Behavioural Metrics via Fibrations

  2018cites this paper
• Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems

  2018cites this paper
• 1 0 O ct 2 01 8 A van Benthem Theorem for antitative Probabilistic Modal Logic

  2018influential citation
• SOS specifications for uniformly continuous operators

  2018cites this paper
• Fixpoint Games on Continuous Lattices

  2018cites this paper
• Towards a formal notion of impact metric for cyber-physical attacks (full version)

  2018cites this paper
• A van Benthem Theorem for Fuzzy Modal Logic

  2018cites this paper
• Quantitative Behavioural Reasoning for Higher-order Effectful Languages : Applicative Distances ( Extended Version )

  2018cites this paper
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems

  2018cites this paper
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances

  2018cites this paper
• A Logical Characterization of Differential Privacy via Behavioral Metrics

  2018cites this paper
• Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces

  2018cites this paper
• A van Benthem Theorem for Quantitative Probabilistic Modal Logic

  2018influential citation
• Fixpoint games on continuous lattices

  2018cites this paper
• Construction and Simulation of Composite Measures and Condensation Model for Designing Probabilistic Computational Applications

  2018cites this paper
• Fibrational Bisimulations and Quantitative Reasoning

  2018cites this paper
• Formulation of Composite Discrete Measures for Estimating Uncertainties in Probabilistic Databases

  2018cites this paper
• Riesz Modal logic for Markov processes

  2017cites this paper
• Equational Reasonings in Wireless Network Gossip Protocols

  2017cites this paper
• Computing behavioural distance for fuzzy transition systems

  2017cites this paper
• Coalgebraic Behavioral Metrics

  2017cites this paper
• Metric Reasoning About λ-Terms: The General Case (Long Version)

  2017cites this paper
• A Probabilistic Calculus of Cyber-Physical Systems

  2017cites this paper
• Compositional Weak Metrics for Group Key Update

  2017cites this paper
• Weak Simulation Quasimetric in a Gossip Scenario

  2017cites this paper
• Logical Characterization of Trace Metrics

  2017cites this paper
• Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems

  2017cites this paper
• (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras

  2017influential citation
• Metric Reasoning About \lambda -Terms: The General Case

  2017cites this paper
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi

  2016cites this paper
• Logical Characterization of Bisimulation Metrics

  2016cites this paper
• Robustly Parameterised Higher-Order Probabilistic Models

  2016cites this paper
• Learning deterministic probabilistic automata from a model checking perspective

  2016cites this paper
• The Probabilistic Model Checking Landscape*

  2016cites this paper
• Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

  2016cites this paper
• Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective

  2016cites this paper
• Dirichlet is Natural

  2015cites this paper
• Probabilistic bisimulation

  2015cites this paper
• Robust SOS Specifications of Probabilistic Processes

  2015cites this paper
• Modal Characterisations of Behavioural Pseudometrics

  2015cites this paper
• Lattice-valued simulations for quantitative transition systems

  2015cites this paper
• Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

  2015cites this paper
• Compositional Metric Reasoning with Probabilistic Process Calculi

  2015cites this paper
• Towards Trace Metrics via Functor Lifting

  2015cites this paper