Back to Search Start Over

Behavioural equivalences of a probabilistic pi-calculus.

Behavioural equivalences of a probabilistic pi-calculus.

Authors :
Chen, WeiEn
Cao, YongZhi
Wang, HanPin
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