On Up-to Context Techniques in the π-calculus - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2022

On Up-to Context Techniques in the π-calculus

Résumé

We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in this setting for two subsets of the pi-calculus: the asynchronous pi-calculus and a pi-calculus with immediately available names.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
document.pdf (166.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Enguerrand Prebet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03482459

Soumis le : mercredi 1 juin 2022-14:51:26

Dernière modification le : jeudi 12 décembre 2024-16:18:05

Télécharger pour visualiser

Dates et versions

hal-03482459 , version 1 (16-12-2021)
hal-03482459 , version 2 (01-06-2022)

Identifiants

Citer

Enguerrand Prebet. On Up-to Context Techniques in the π-calculus. 2022. ⟨hal-03482459v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UNIV-COTEDAZUR UDL
48 Consultations
53 Téléchargements

Altmetric

Partager

More