Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
From MaRDI portal
Publication:5758058
DOI10.1007/978-3-540-71389-0_21zbMath1195.68072MaRDI QIDQ5758058
Publication date: 7 September 2007
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_21
68Q45: Formal languages and automata
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation, Differential privacy in probabilistic systems, A logical duality for underspecified probabilistic systems, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Branching bisimulation congruence for probabilistic systems, Probabilistic bisimilarity as testing equivalence, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus, Exploring probabilistic bisimulations. I, Probabilistic divide \& congruence: branching bisimilarity, Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes, Weak bisimulation is sound and complete for pCTL\(^*\), Logical characterization of branching metrics for nondeterministic probabilistic transition systems, Trace semantics via determinization, A space-efficient simulation algorithm on probabilistic automata, Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations, A General Framework for Probabilistic Characterizing Formulae, A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions, Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation, A Spectrum of Behavioral Relations over LTSs on Probability Distributions, Bisimulations for non-deterministic labelled Markov processes, Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
