Forward analysis for WSTS, Part I: Completions

Alain Finkel Jean Goubault-Larrecq Forward analysis for WSTS, Part I: Completions http://arxiv.org/abs/0902.1587 2009 CoRR abs/0902.1587 db/journals/corr/corr0902.html#abs-0902-1587 informal publication