23 citations · 54 across the 12 of their papers we have counts for
1 paper · 1 filter
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren +1
Branching bisimilarity is a behavioural equivalence relation on labelled transition systems that takes internal actions into account. It has the traditional advantage that algorith…