A Bisimulation for the Blue Calculus

Silvano Dal Zilio 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Type de document :
Rapport
RR-3664, INRIA. 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00073008
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:34:36
Dernière modification le : samedi 27 janvier 2018 - 01:31:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:31:13

Fichiers

Identifiants

  • HAL Id : inria-00073008, version 1

Collections

Citation

Silvano Dal Zilio. A Bisimulation for the Blue Calculus. RR-3664, INRIA. 1999. 〈inria-00073008〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

123