Skip to Main content Skip to Navigation
Reports

On the reduction of chocs bisimulation to pi-calculus bisimulation

Abstract : Chocs 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-calculus
Document type :
Reports
Complete list of metadata

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

Identifiers

  • HAL Id : inria-00077026, version 1

Collections

Citation

Roberto M. Amadio. On the reduction of chocs bisimulation to pi-calculus bisimulation. [Research Report] RR-1786, INRIA. 1992. ⟨inria-00077026⟩

Share

Metrics

Record views

82

Files downloads

109