P. A. Abdulla, A. Bouajjani, and B. Jonsson, On-the-fly analysis of systems with unbounded, lossy FIFO channels, CAV'98, 1998.
DOI : 10.1007/BFb0028754

P. A. Abdulla, K. Cer¯-ans, B. Jonsson, and Y. Tsay, Algorithmic Analysis of Programs with Well Quasi-ordered Domains, Information and Computation, vol.160, issue.1-2, pp.109-127, 2000.
DOI : 10.1006/inco.1999.2843

P. A. Abdulla, J. Deneux, P. Mahata, and A. Nylén, Forward Reachability Analysis of Timed Petri Nets, FORMATS/FTRTFT, pp.343-362, 2004.
DOI : 10.1007/978-3-540-30206-3_24

P. A. Abdulla and B. Jonsson, Verifying programs with unreliable channels, LICS'93, pp.160-170, 1993.
DOI : 10.1109/lics.1993.287591
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9558

S. Abramsky and A. Jung, Domain theory, Handbook of Logic in Comp. Sci, pp.1-168, 1994.

E. A. Emerson and K. S. Namjoshi, On model checking for non-deterministic infinite-state systems, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.70-80, 1998.
DOI : 10.1109/LICS.1998.705644

J. Esparza, A. Finkel, and R. Mayr, On the verification of broadcast protocols, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.352-359, 1999.
DOI : 10.1109/LICS.1999.782630

A. Finkel, J. Goubault-larrecq, L. Ens-cachan, and . Ens-cachan, Forward analysis for WSTS, part I: Completions, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00359699

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theor, Comp. Sci, vol.256, issue.12, pp.63-92, 2001.
DOI : 10.1016/s0304-3975(00)00102-x
URL : http://doi.org/10.1016/s0304-3975(00)00102-x

P. Ganty, J. Raskin, and L. Van-begin, A Complete Abstract Interpretation Framework for Coverability Properties of WSTS, VMCAI'06, pp.49-64, 2006.
DOI : 10.1007/11609773_4

G. Geeraerts, J. Raskin, and L. Van-begin, Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS, Journal of Computer and System Sciences, vol.72, issue.1, pp.180-203, 2006.
DOI : 10.1016/j.jcss.2005.09.001

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove et al., Continuous lattices and domains, Encyc. Math. and its Applications, 2003.
DOI : 10.1017/CBO9780511542725

J. Goubault-larrecq, On Noetherian Spaces, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.453-462, 2007.
DOI : 10.1109/LICS.2007.34

R. M. Karp and R. E. Miller, Parallel program schemata, Journal of Computer and System Sciences, vol.3, issue.2, pp.147-195, 1969.
DOI : 10.1016/S0022-0000(69)80011-5
URL : http://doi.org/10.1016/s0022-0000(69)80011-5

M. Mislove, Algebraic posets, algebraic cpo's and models of concurrency, Topology and Category Theory in Computer Science, pp.75-109, 1981.