Testing preorders for probabilistic processes.
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3982506 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- Bisimulation through probabilistic testing
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
- Composition and behaviors of probabilistic I/O automata
- Reactive, generative, and stratified models of probabilistic processes
- Testing equivalences for processes
- Testing preorders for probabilistic processes
- Testing probabilistic automata
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
Cited in
(39)- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- Probabilistic Analysis of Binary Sessions
- Model-based testing of probabilistic systems
- Testing probabilistic automata
- Testing processes for efficiency
- A precongruence format for should testing preorder
- Algebraic theory of probabilistic and nondeterministic processes.
- Characterization of simulation by probabilistic testing
- Testing preorders for probabilistic processes
- Testing preorders for probabilistic processes can be characterized by simulations
- Real-reward testing for probabilistic processes (extended abstract)
- Retaining the probabilities in probabilistic testing theory
- \(\pi\)-calculus with noisy channels
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
- Mutually testing processes (extended abstract)
- Using schedulers to test probabilistic distributed systems
- Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes
- Real-reward testing for probabilistic processes
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Non-bisimulation-based Markovian behavioral equivalences
- A unifying approach to probabilistic testing equivalences
- Composition and behaviors of probabilistic I/O automata
- Testing Finitary Probabilistic Processes
- Determining asynchronous test equivalence for probabilistic processes
- Characterising Testing Preorders for Finite Probabilistic Processes
- scientific article; zbMATH DE number 1538044 (Why is no real title available?)
- Remarks on testing probabilistic processes
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus
- Additive models of probabilistic processes
- Characterising testing preorders for broadcasting distributed systems
- Fair testing
- Testing from a stochastic timed system with a fault model
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Testing probabilistic equivalence through reinforcement learning
- Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
- Algebraic theory of probabilistic processes.
- scientific article; zbMATH DE number 1759619 (Why is no real title available?)
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: Testing preorders for probabilistic processes.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854314)
