Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)
Cached
Download Links
- [ftp-sop.inria.fr]
- [www.cis.upenn.edu]
- [ftp.inria.fr]
- [www.cs.indiana.edu]
- [www.cs.indiana.edu]
- [www.cs.indiana.edu]
- DBLP
Other Repositories/Bibliography
by
Benjamin C. Pierce
,
Davide Sangiorgi
| Venue: | JOURNAL OF THE ACM |
| Citations: | 51 - 6 self |
Document Versions
| Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1997 — JOURNAL OF THE ACM |
| Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1999 — Journal of the ACM |
| Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Benjamin C. Pierce, Davide Sangiorgi, Davide Sangiorgi, Projet Meije — 1997 |
| Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1996 — Journal of the ACM |
| Behavioral equivalence in the polymorphic pi-calculus –Benjamin C. Pierce, Davide Sangiorgi — 2000 — Journal of the ACM |
