Forward Analysis for WSTS, Part II: Complete WSTS.

Alain Finkel, Jean Goubault-Larrecq

Browse the full ICALP paper archive.