7 citations · 13 across the 20 of their papers we have counts for
1 paper · 1 filter
Francesco Ranzato, Francesco Tapparo
The Paige and Tarjan algorithm (PT) for computing the coarsest refinement of a state partition which is a bisimulation on some Kripke structure is well known. It is also well known…