Behavioral Equivalence in the Polymorphic Pi-Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1996

Behavioral Equivalence in the Polymorphic Pi-Calculus

Fichier principal
Vignette du fichier
RR-3042.pdf (337.71 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00073650 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More