scientific article; zbMATH DE number 1927573
From MaRDI portal
Publication:4484498
zbMATH Open1012.68139MaRDI QIDQ4484498FDOQ4484498
Authors: Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden 
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210355.htm
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Probabilistic divide \& congruence: branching bisimilarity
- Branching bisimulation congruence for probabilistic systems
- Parametric probabilistic transition systems for system design and analysis
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- SOS specifications for uniformly continuous operators
- Explainability of probabilistic bisimilarity distances for labelled Markov chains
- A spectrum of behavioral relations over LTSs on probability distributions
- Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
- Weak bisimulation is sound and complete for pCTL\(^*\)
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Separable GPL: decidable model checking with more non-determinism
- Bisimulation and Simulation Relations for Markov Chains
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Deciding probabilistic bisimilarity distance one for probabilistic automata
- Testing Finitary Probabilistic Processes
- A pseudometric in supervisory control of probabilistic discrete event systems
- Comparative branching-time semantics for Markov chains
- Logical characterizations of behavioral relations on transition systems of probability distributions
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Compositional weak metrics for group key update
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 Q4484498)
