| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Behavioral Equivalence in the Polymorphic Pi-Calculus
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
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