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

Abstract

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.

Domains

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)

Identifiers

  • HAL Id : inria-00073008 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More