Handling Infinitely Branching WSTS.

Michael Blondin, Alain Finkel, Pierre McKenzie

Browse the full ICALP paper archive.