Behavioral Equivalence in the Polymorphic Pi-Calculus

Rapport Année : 1996

(1) ,

1

Benjamin C. Pierce

Davide Sangiorgi

PARAMETRIC POLYMORPHISM ALIASING PI-CALCULUS BEHAVIOURAL EQUIVALENCES

Autre [cs.OH]

Fichier principal

RR-3042.pdf (337.71 Ko)

https://inria.hal.science/inria-00073650

Soumis le : mercredi 24 mai 2006-13:24:57

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : dimanche 4 avril 2010-21:25:52

inria-00073650 , version 1 (24-05-2006)

Benjamin C. Pierce, Davide Sangiorgi. Behavioral Equivalence in the Polymorphic Pi-Calculus. RR-3042, INRIA. 1996. ⟨inria-00073650⟩

INRIA INRIA-RRRT INRIA2 LARA

32 Consultations

206 Téléchargements