On Up-to Context Techniques in the π-calculus - Archive ouverte HAL Accéder directement au contenu
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.
Fichier principal
Vignette du fichier
document.pdf (166.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
35 Consultations
27 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More