Back to Search
Start Over
Behavioural equivalences of a probabilistic pi-calculus.
Behavioural equivalences of a probabilistic pi-calculus.
- Source :
- SCIENCE CHINA Information Sciences; Sep2012, Vol. 55 Issue 9, p2031-2043, 13p
- Publication Year :
- 2012
-
Abstract
- Although different kinds of probabilistic π-calculus have been introduced and found their place in quantitative verification and evaluation, their behavioural equivalences still lack a deep investigation. We propose a simple probabilistic extension of the π-calculus, π, which is inspired by Herescu and Palamidessi's probabilistic asynchronous π-calculus. An early semantics of our π is presented. We generalise several classic behavioural equivalences to probabilistic versions, obtaining the probabilistic (strong) barbed equivalence and probabilistic bisimulation for π. Then we prove that the coincidence between the barbed equivalence and bisimilarity in the π-calculus is preserved in the probabilistic setting. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 1674733X
- Volume :
- 55
- Issue :
- 9
- Database :
- Complementary Index
- Journal :
- SCIENCE CHINA Information Sciences
- Publication Type :
- Academic Journal
- Accession number :
- 78910369
- Full Text :
- https://doi.org/10.1007/s11432-012-4660-1