↓Skip to main content

A Bisimulation for the Blue Calculus

Semantics Concurrency Pi Calculus
Table of Contents

Silvano Dal Zilio
Research Report 3664, INRIA, apr 1999.

technical report

 PDF  HAL-00073008

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.

Citation
#


@TechReport{DalzilioS:rr3664,
   author      = {{Dal Zilio}, Silvano},
   title       = {{A Bisimulation for the Blue Calculus}},
   institution = {INRIA},
   number      = {3664}, 
   month       = apr, 
   year        = 1999
}