Skip to Main content Skip to Navigation
Reports

Behavioral Equivalence in the Polymorphic Pi-Calculus

Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073650
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:24:57 PM
Last modification on : Saturday, January 27, 2018 - 1:31:31 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:25:52 PM

Identifiers

  • HAL Id : inria-00073650, version 1

Collections

Citation

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

Share

Metrics

Record views

106

Files downloads

320