Algebraic theory of probabilistic processes.
From MaRDI portal
(Redirected from Publication:1400293)
Recommendations
Cites work
- scientific article; zbMATH DE number 1701760 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 1231682 (Why is no real title available?)
- scientific article; zbMATH DE number 1324654 (Why is no real title available?)
- scientific article; zbMATH DE number 1324657 (Why is no real title available?)
- scientific article; zbMATH DE number 1863172 (Why is no real title available?)
- scientific article; zbMATH DE number 1884419 (Why is no real title available?)
- scientific article; zbMATH DE number 1418454 (Why is no real title available?)
- A logic for reasoning about time and reliability
- A process algebra for probabilistic and nondeterministic processes
- Acceptance trees
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Bisimulation through probabilistic testing
- Composition and behaviors of probabilistic I/O automata
- Handbook of process algebra
- Priority in process algebra.
- Probabilistic and prioritized models of timed CSP
- Probabilistic extensions of process algebras.
- Reactive, generative, and stratified models of probabilistic processes
- Testing equivalences for processes
- Testing preorders for probabilistic processes.
- Testing probabilistic automata
Cited in
(25)- Algebraic theory of probabilistic and nondeterministic processes.
- scientific article; zbMATH DE number 1863172 (Why is no real title available?)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- 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
- Using schedulers to test probabilistic distributed systems
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Non-bisimulation-based Markovian behavioral equivalences
- A model of probabilistic processes
- scientific article; zbMATH DE number 4143960 (Why is no real title available?)
- A testing scenario for probabilistic processes
- Remarks on testing probabilistic processes
- An extended framework for passive asynchronous testing
- scientific article; zbMATH DE number 836614 (Why is no real title available?)
- Formalisation of Probabilistic Testing Semantics in Coq
- Validation of Stochastic Systems
- Probabilistic barbed congruence
- Testing from a stochastic timed system with a fault model
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- scientific article; zbMATH DE number 1418454 (Why is no real title available?)
- Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
- scientific article; zbMATH DE number 1759619 (Why is no real title available?)
- Denotational semantics for a probabilistic timed shared-variable language
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: Algebraic theory of probabilistic processes.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400293)
