Hereditary history preserving bisimulation is decidable for trace-labelled systems (2002)

by M Mukund
Venue:In: FSTTCS’02. Volume 2556 of LNCS. (2002) 289–300