A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.

Maria Grazia Buscemi, Ugo Montanari

Browse the full CONCUR paper archive.