Skip to Main content Skip to Navigation

A Uniform presentation of chocs and p-calculus

Abstract : We present a generic calculus of "mobile" processes intended as language, labelled transition system, and bisimulation. The distinctive feature of this presentation is an explicit treatment of contexts. Calculi having processes (CHOCS) or channels (p-calculus) as transmissible values are obtained as instances of the generic calculus. Our main tecnical contributions are : - a needed weakening of the notion of bisimulation for CHOCS and a new characterization of p-calculus bisimulation. - a sufficint condition for checking the bisimilarity of CHOCS processes via a standard translation into the p-calculus. - a uniform notion of bisimulation for the p-calculus.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:42:17 AM
Last modification on : Friday, February 4, 2022 - 3:18:45 AM
Long-term archiving on: : Friday, May 13, 2011 - 10:15:53 PM


  • HAL Id : inria-00076965, version 1



Roberto M. Amadio. A Uniform presentation of chocs and p-calculus. [Research Report] RR-1726, INRIA. 1992. ⟨inria-00076965⟩



Record views


Files downloads