scientific article; zbMATH DE number 1759621
From MaRDI portal
Publication:4536612
Recommendations
- Probabilistic weak bisimulation and axiomatization for probabilistic models
- Bisimulation and cocongruence for probabilistic systems
- Weak bisimulation for probabilistic timed automata
- Probabilistic bisimulation
- Branching bisimulation congruence for probabilistic systems
- Branching bisimulation congruence for probabilistic systems
- scientific article; zbMATH DE number 1754605
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Compositionality of approximate bisimulation for probabilistic systems
- Bisimulation for probabilistic transition systems: a coalgebraic approach
Cited in
(61)- Probabilistic weak simulation is decidable in polynomial time
- Probabilistic bisimulation for realistic schedulers
- Exploring probabilistic bisimulations. I
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Deciding bisimilarity and similarity for probabilistic processes.
- Probabilistic divide \& congruence: branching bisimilarity
- A probabilistic calculus of cyber-physical systems
- On the probabilistic bisimulation spectrum with silent moves
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
- Weak bisimulation is sound and complete for pCTL\(^*\)
- Resources in process algebra
- Comparative branching-time semantics for Markov chains
- Stuttering for abstract probabilistic automata
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Deciding probabilistic automata weak bisimulation: theory and practice
- Environmental bisimulations for probabilistic higher-order languages
- Group-by-group probabilistic bisimilarities and their logical characterizations
- Remarks on testing probabilistic processes
- Notes on generative probabilistic bisimulation
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
- Computing Behavioral Relations for Probabilistic Concurrent Systems
- Probabilistic bisimulation as a congruence
- Deciding probabilistic automata weak bisimulation in polynomial time
- On the semantics of Markov automata
- Bisimulations meet PCTL equivalences for probabilistic automata
- On the Minimisation of Acyclic Models
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- scientific article; zbMATH DE number 1927573 (Why is no real title available?)
- Game characterization of probabilistic bisimilarity, and applications to pushdown automata
- scientific article; zbMATH DE number 1418352 (Why is no real title available?)
- Polynomial time decision algorithms for probabilistic automata
- Model checking linear-time properties of probabilistic systems
- Computing maximal weak and other bisimulations
- Probabilistic bisimulation for realistic schedulers
- Reducing weak to strong bisimilarity in CCP
- A family of resource-bound real-time process algebras
- Theoretical Aspects of Computing – ICTAC 2005
- Branching bisimulation congruence for probabilistic systems
- Measuring the confinement of probabilistic systems
- Formal verification of differential privacy for interactive systems (extended abstract)
- Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
- Weak bisimulation for probabilistic timed automata
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Finite axiomatization for symbolic probabilistic -calculus
- Probabilistic weak bisimulation and axiomatization for probabilistic models
- Uniform random process model revisited
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Logical characterization of branching bisimilarity over random processes
- Reversibility in process calculi with nondeterminism and probabilities
- Metrics for action-labelled quantitative transition systems
- Trace semantics for stochastic systems with nondeterminism
- Branching bisimulation congruence for probabilistic systems
- Raiders of the lost equivalence: probabilistic branching bisimilarity
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Model independent approach to probabilistic models
- Axiomatizations for probabilistic finite-state behaviors
- On metrics for probabilistic systems: definitions and algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536612)
