A theory of bisimulation for the ?-calculus, Acta Inform. 33, 69 97; An extract appeared (1996)

by D Sangiorgi
Venue:in Proc. CONCUR '93, Lecture Notes in Computer Science 715