A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

DOI10.1016/J.TCS.2020.12.045zbMATH Open1497.68347OpenAlexW3118321919MaRDI QIDQ831141FDOQ831141

Authors: Ruggero Lanotte, Simone Tini 

Publication date: 10 May 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.12.045

Recommendations

• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• Bisimulation metrics for continuous Markov decision processes
• Generalized Bisimulation Metrics
• Bisimulation metrics for weighted automata
• Weak Bisimulation Approximants
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 2040321
• Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
• Publication:4941915
• Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules

zbMATH Keywords

nondeterminismcyber-physical systemscontinuous state spaceweak bisimulation metric

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• A logic for reasoning about time and reliability
• Title not available (Why is that?)
• Hybrid Systems: Computation and Control
• Metrics for labelled Markov processes
• Taking it to the limit: approximate reasoning for Markov processes
• A process algebra for timed systems
• Formal verification of parallel programs
• Measures, Integrals and Martingales
• Stability of a 4th-order curvature condition arising in optimal transport theory
• A behavioural pseudometric for probabilistic transition systems
• Branching bisimulation for probabilistic systems: characteristics and decidability
• Game Refinement Relations and Metrics
• Characterising Testing Preorders for Finite Probabilistic Processes
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• Branching bisimulation congruence for probabilistic systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid Systems: Computation and Control
• The theory of interactive generalized semi-Markov processes
• Probabilistic extensions of process algebras.
• A compositional modelling and verification framework for stochastic hybrid systems
• Probabilistic divide \& congruence: branching bisimilarity
• A calculus of cyber-physical systems
• Raiders of the lost equivalence: probabilistic branching bisimilarity
• Measurability and safety verification for stochastic hybrid systems
• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• Behavioural pseudometrics for nondeterministic probabilistic systems
• SOS specifications for uniformly continuous operators
• A probabilistic calculus of cyber-physical systems
• A compositional modelling and analysis framework for stochastic hybrid systems
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Computing behavioral distances, compositionally
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Metric reasoning about \(\lambda\)-terms: the general case
• Generalized Bisimulation Metrics
• Equational reasonings in wireless network gossip protocols
• Converging from branching to linear metrics on Markov chains
• Metric reasoning about λ-terms: The affine case
• Compositionality of approximate bisimulation for probabilistic systems
• Fixed-point characterization of compositionality properties of probabilistic processes combinators
• Weak simulation quasimetric in a gossip scenario
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Compositional weak metrics for group key update

Cited In (4)

• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• Generalized Bisimulation Metrics
• Up-to techniques for generalized bisimulation metrics
• Bisimulation metrics for continuous Markov decision processes

This page was built for publication: A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831141)