48 citations · 66 across the 4 of their papers we have counts for
1 paper · 2 filters
Alain Finkel, Jean Goubault-Larrecq
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute…