A First Order Coalgebraic Model of Pi-Calculus Early Observational Equivalence (2002)

by M Buscemi, U Montanari
Venue:In Proc. of CONCUR ’02, LNCS 2421