A process algebra for probabilistic and nondeterministic processes
- 15 October 2001
- journal article
- research article
- Published by Elsevier in Information Processing Letters
- Vol. 80 (1) , 15-23
- https://doi.org/10.1016/s0020-0190(01)00213-7
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Refinement-oriented probability for CSPFormal Aspects of Computing, 1996
- Reactive, Generative, and Stratified Models of Probabilistic ProcessesInformation and Computation, 1995