A Bisimulation for the Blue Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

A Bisimulation for the Blue Calculus


The Blue calculus is a direct extension of both the lambda and the pi calculi. In this report, we define an equivalence for this calculus based on barbed congruence, and we prove the validity of the replication laws. For example, we prove that a replicated resource, shared by many processes, can be safely copied and distributed.


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

Dates and versions

inria-00073008 , version 1 (24-05-2006)


  • HAL Id : inria-00073008 , version 1


Silvano Dal Zilio. A Bisimulation for the Blue Calculus. RR-3664, INRIA. 1999. ⟨inria-00073008⟩
85 View
82 Download


Gmail Facebook Twitter LinkedIn More