On the Finitary Bisimulation (1995)

by RS-95-59 Luca Aceto, Anna Ingólfsdóttir
Venue:Nils Klarlund, Madhavan Mukund, and Milind Sohoni