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,π p,which is inspired by Herescu and Palamidessi's probabilistic asynchronous π-calculus.An early semantics of our π p is presented.We generalise several classic behavioural equivalences to probabilistic versions,obtaining the probabilistic(strong) barbed equivalence and probabilistic bisimulation for π p.Then we prove that the coincidence between the barbed equivalence and bisimilarity in the π-calculus is preserved in the probabilistic setting. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/s11432-012-4660-1 | SCIENCE CHINA Information Sciences |
Keywords | Field | DocType |
behavioural equivalence,probabilistic barbed bisimulation,probabilistic bisimulation,probabilistic pi-calculus | Asynchronous communication,Discrete mathematics,Mathematical optimization,Algebra,Pi calculus,Probabilistic CTL,Equivalence (measure theory),Coincidence,Probabilistic logic,Probabilistic bisimulation,Semantics,Mathematics | Journal |
Volume | Issue | ISSN |
55 | 9 | 1869-1919 |
Citations | PageRank | References |
0 | 0.34 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
weien chen | 1 | 0 | 0.34 |
yongzhi cao | 2 | 63 | 10.56 |
hanpin wang | 3 | 72 | 22.42 |