On the reduction of chocs bisimulation to pi-calculus bisimulation

Projet PROGRAISChocs and p-calculus are two extensions of CCS where, respectively processes and channels are transmissible values. In previous work we have proposed a formalization of the notion of bisimulation for Chocs. In this paper we suggest a more effective way to reason about this notion by means of a translation of Chocs into a variant of the p-calculu

On the reduction of chocs bisimulation to #pi#-calculus bisimulation

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.1786 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On the reduction of chocs bisimulation to pi-calculus bisimulation

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12774 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc