Forward Analysis for WSTS, Part I: Completions.

Alain Finkel, Jean Goubault-Larrecq

Browse the full STACS paper archive.