Compositional verification of probabilistic processes
- 30 September 2006
- book chapter
- Published by Springer Nature
- p. 456-471
- https://doi.org/10.1007/bfb0084809
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A probabilistic powerdomain of evaluationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A logic for reasoning about probabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification and refinement of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The expressive power of implicit specificationsPublished by Springer Nature ,1991
- A calculus for communicating systems with time and probabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- A remark on bisimulation between probabilistic processesPublished by Springer Nature ,1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A probabilistic PDLPublished by Association for Computing Machinery (ACM) ,1983