A Uniform presentation of chocs and p-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

A Uniform presentation of chocs and p-calculus

Roberto M. Amadio


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1726.pdf (1.64 Mo) Télécharger le fichier

Dates and versions

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


  • 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⟩
118 View
85 Download


Gmail Facebook Twitter LinkedIn More