Open bisimulation, revisited. Theoret (0)

by S Briais, U Nestmann
Venue:Comput. Sci