On behavioural pseudometrics and closure ordinals

DOI10.1016/J.IPL.2012.06.019MaRDI QIDQ456100zbMATH OpenOpenAlexFDO

Authors Franck van Breugel

Publication date 23 October 2012

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2012.06.019

zbMATH Keywords

concurrencyformal semanticsbehavioural pseudometricclosure ordinalleast fixed point

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logical aspects of lattices and related structures (03G10)

Recommendations

• A behavioural pseudometric based on \(\lambda\)-bisimilarity
• A behavioural pseudometric for probabilistic transition systems
• Behavioral metrics via functor lifting
• Automata, Languages and Programming
• CONCUR 2005 – Concurrency Theory

Cites work

• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1864592 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Approximate reasoning for real-time probabilistic processes
• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• Automata, Languages and Programming
• Bisimulation through probabilistic testing
• Game Refinement Relations and Metrics
• Perturbations of positive semigroups with applications
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(10)

• The complexity of computing a bisimilarity pseudometric on probabilistic automata
• Deciding probabilistic bisimilarity distance one for probabilistic automata
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• A probabilistic calculus of cyber-physical systems
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• SOS specifications for uniformly continuous operators
• Computing probabilistic bisimilarity distances for probabilistic automata
• Computing bisimilarity metrics for probabilistic timed automata

This page was built for publication: On behavioural pseudometrics and closure ordinals

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