48 citations · 207 across the 23 of their papers we have counts for
1 paper · 2 filters
Alain Finkel, Jean Goubault-Larrecq
We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the c…