Algebraic theory of probabilistic processes
- 1 May 2003
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 56 (1-2) , 117-177
- https://doi.org/10.1016/s1567-8326(02)00069-3
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- A process algebra for probabilistic and nondeterministic processesInformation Processing Letters, 2001
- Denotational Semantics for Probabilistic Refusal TestingElectronic Notes in Theoretical Computer Science, 1999
- On Generative Parallel CompositionElectronic Notes in Theoretical Computer Science, 1999
- A Testing Equivalence for Reactive Probabilistic ProcessesElectronic Notes in Theoretical Computer Science, 1998
- Composition and behaviors of probabilistic I/O automataTheoretical Computer Science, 1997
- Probabilistic and prioritized models of timed CSPTheoretical Computer Science, 1995
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Acceptance treesJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984