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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
