10 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Martens, Jan Friso Groote, Lars van den Haak +2
The most efficient way to calculate strong bisimilarity is by calculation the relational coarsest partition on a transition system. We provide the first linear time algorithm to ca…