Open Bisimulation, Revisited (2006)

by S Briais, U Nestmann
Venue:Proceedings of the 12th Expressiveness in Concurrency (EXPRESS’05