History


Please fill in your query. A complete syntax description you will find on the General Help page.
Behavioral equivalence in the polymorphic pi-calculus (English)
POPL, 242-255 (1997).
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!