10 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Friso Groote, Jan Martens, Erik. P. de Vink
We provide time lower bounds for sequential and parallel algorithms deciding bisimulation on labeled transition systems that use partition refinement. For sequential algorithms thi…