Bisimilarity of open terms (1997)

by A Rensink
Venue:In Proc. EXPRESS'97, Expressiveness in Concurrency