A Bisimulation for the Blue Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

A Bisimulation for the Blue Calculus

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00073008 , version 1

Citer

Silvano Dal Zilio. A Bisimulation for the Blue Calculus. RR-3664, INRIA. 1999. ⟨inria-00073008⟩
86 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More