Process Algebra with Probabilistic Choice
- 30 April 1999
- book chapter
- Published by Springer Nature
- p. 111-129
- https://doi.org/10.1007/3-540-48778-6_7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reactive, generative, and stratified models of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A general conservative extension theorem in process algebras with inequalitiesTheoretical Computer Science, 1997
- Axiomatizing Probabilistic Processes: ACP with Generative ProbabilitiesInformation and Computation, 1995
- Process Algebra with Partial ChoicePublished by Springer Nature ,1994
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Two simple protocolsPublished by Cambridge University Press (CUP) ,1990
- Bisimulation through probabilistic testing (preliminary report)Published by Association for Computing Machinery (ACM) ,1989
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- Automatic verification of probabilistic concurrent finite state programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Process algebra for synchronous communicationInformation and Control, 1984