Pages that link to "Item:Q5758058"
From MaRDI portal
The following pages link to Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (Q5758058):
Displayed 26 items.
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Differential privacy in probabilistic systems (Q529047) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Exploring probabilistic bisimulations. I (Q1941884) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains (Q3543299) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q4580323) (← links)
- (Q5009413) (← links)