Technical Report TR468:
Behavioral Equivalence in the Polymorphic Pi-Calculus
Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis
(Oct 1996), 28 pages pages
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
