On the reduction of chocs bisimulation to pi-calculus bisimulation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

On the reduction of chocs bisimulation to pi-calculus bisimulation

Roberto M. Amadio

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

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1786.pdf (979.18 Ko) Télécharger le fichier

Dates and versions

inria-00077026 , version 1 (29-05-2006)

Identifiers

  • HAL Id : inria-00077026 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More