Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00076965
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, May 29, 2006 - 11:42:17 AM
Last modification on : Thursday, February 11, 2021 - 2:48:31 PM
Long-term archiving on: : Friday, May 13, 2011 - 10:15:53 PM

Identifiers

  • HAL Id : inria-00076965, version 1

Collections

Citation

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

Share

Metrics

Record views

224

Files downloads

179