Buscemi, Maria Grazia and Montanari, Ugo  Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model.  Technical Report   Università di Pisa, Dipartimento di Informatica