Sound Bisimulations for Higher-Order Distributed Process Calculus

Details Sound Bisimulations for Higher-Order Distributed Process Calculus Sound Bisimulations for Higher-Order Distributed Process Calculus

2010-06-25

arxiv.org/abs/1006.4943v2

Computer Science

Logic in Computer Science

15 pages, uses mathpartir and tikz, appendix at [http://www.kb.ecei.tohoku.ac.jp/~adrien/pubs/SoundAppendix.pdf], the final

Scientific paper

While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we propose a bisimulation technique for proving behavioural equivalence of such systems modelled in the \emph{higher-order $\pi$-calculus with passivation} (and restriction). Previous research for this calculus is limited to context bisimulations and normal bisimulations which are either impractical or unsound. In contrast, we provide a sound and useful definition of \emph{environmental bisimulations}, with several non-trivial examples. Technically, a central point in our bisimulations is the clause for parallel composition, which must account for passivation of the spawned processes in the middle of their execution.

Affiliated with

Also associated with

No associations

Rating

Sound Bisimulations for Higher-Order Distributed Process Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Sound Bisimulations for Higher-Order Distributed Process Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sound Bisimulations for Higher-Order Distributed Process Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-309865