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

Cached

Download Links

by Madhavan Mukund
Venue:In: FSTTCS’02. Volume 2556 of LNCS. (2002) 289–300
Citations:4 - 0 self