Forward analysis for WSTS, part I: completions

Alain Finkel; Jean Goubault-Larrecq

doi:10.1017/S0960129520000195

Journal articles

Forward analysis for WSTS, part I: completions

Alain Finkel ¹ Jean Goubault-Larrecq ¹

1 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay

Document type :

Journal articles

Domain :

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Mathematics [math] / General Topology [math.GN]

Complete list of metadata

https://hal.inria.fr/hal-03186488
Contributor : Jean Goubault-Larrecq <>
Submitted on : Wednesday, March 31, 2021 - 10:36:48 AM
Last modification on : Friday, April 2, 2021 - 3:31:18 AM

Forward analysis for WSTS, part I: completions

Links full text

Identifiers

Collections

Citation

Export

Metrics

12

Contact Legal Notice Personal Data

Forward analysis for WSTS, part I: completions

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

12

Contact Legal Notice Personal Data