48 citations · 207 across the 23 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 2 cited
Dense-choice Counter Machines revisited
Florent Bouchy, Alain Finkel, Pierluigi San Pietro
This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Mac…
cs.LO2009★ 48 cited
Forward analysis for WSTS, Part I: Completions
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…