scientific article; zbMATH DE number 1759621

zbMATH Open0999.68146MaRDI QIDQ4536612FDOQ4536612

Authors: Anna Philippou, Insup Lee, Oleg Sokolsky 

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (50)

• Probabilistic divide \& congruence: branching bisimilarity
• Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
• Stuttering for abstract probabilistic automata
• Branching bisimulation congruence for probabilistic systems
• Sound approximate and asymptotic probabilistic bisimulations for PCTL
• Axiomatizations for probabilistic finite-state behaviors
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Model independent approach to probabilistic models
• Title not available (Why is that?)
• Model Checking Linear-Time Properties of Probabilistic Systems
• On the semantics of Markov automata
• On metrics for probabilistic systems: definitions and algorithms
• Title not available (Why is that?)
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
• Deciding probabilistic automata weak bisimulation: theory and practice
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• Bisimulations meet PCTL equivalences for probabilistic automata
• Polynomial time decision algorithms for probabilistic automata
• Measuring the confinement of probabilistic systems
• Exploring probabilistic bisimulations. I
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Probabilistic weak simulation is decidable in polynomial time
• A probabilistic calculus of cyber-physical systems
• 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\(^*\)
• Weak bisimulation for probabilistic timed automata
• Branching bisimulation for probabilistic systems: characteristics and decidability
• Probabilistic Bisimulation for Realistic Schedulers
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Finite axiomatization for symbolic probabilistic \(\pi \)-calculus
• Environmental bisimulations for probabilistic higher-order languages
• Probabilistic weak bisimulation and axiomatization for probabilistic models
• Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
• Probabilistic bisimulation for realistic schedulers
• Probabilistic bisimulation as a congruence
• Title not available (Why is that?)
• Remarks on testing probabilistic processes
• Raiders of the lost equivalence: probabilistic branching bisimilarity
• Comparative branching-time semantics for Markov chains
• Computing Behavioral Relations for Probabilistic Concurrent Systems
• A Family of Resource-Bound Real-Time Process Algebras
• Theoretical Aspects of Computing – ICTAC 2005
• Uniform random process model revisited
• Notes on generative probabilistic bisimulation
• Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
• On the Minimisation of Acyclic Models
• Branching Bisimulation Congruence for Probabilistic Systems
• Resources in process algebra

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)