S. Abbes and A. Benveniste, Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications, LNCS, vol.3441, pp.95-109, 2005.
DOI : 10.1007/978-3-540-31982-5_6

URL : https://hal.archives-ouvertes.fr/hal-00350930

S. Abbes and A. Benveniste, True-concurrency probabilistic models, Information and Computation, vol.204, issue.2, pp.231-274, 2006.
DOI : 10.1016/j.ic.2005.10.001

URL : https://hal.archives-ouvertes.fr/hal-00350226

G. Birkhoff, Lattice Theory, 1967.
DOI : 10.1090/coll/025

M. Droste, Event structures and domains, Theoretical Computer Science, vol.68, issue.1, pp.37-47, 1989.
DOI : 10.1016/0304-3975(89)90117-5

A. Edalat and R. Heckmann, A computational model for metric spaces, Theoretical Computer Science, vol.193, issue.1-2, pp.53-73, 1998.
DOI : 10.1016/S0304-3975(96)00243-5

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove et al., Continuous Lattices and Domains, 2003.
DOI : 10.1017/CBO9780511542725

C. Jones and G. Plotkin, A probabilistic powerdomain of evaluations, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.186-195, 1989.
DOI : 10.1109/LICS.1989.39173

A. Jung, Cartesian closed categories of algebraic CPOs, Theoretical Computer Science, vol.70, issue.2, pp.233-250, 1990.
DOI : 10.1016/0304-3975(90)90124-Z

J. Lawson, Spaces of maximal points, Mathematical Structures in Computer Science, vol.7, issue.5, pp.543-555, 1997.
DOI : 10.1017/S0960129597002363

C. Mclarty, Elementary Categories, Elementary Toposes, 1992.

M. Nielsen, G. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2

URL : http://doi.org/10.1016/0304-3975(81)90112-2

M. Nielsen and G. Winskel, The Book of Traces, chapter Trace structures and other models for concurrency, World Scientific, 1995.

B. Rozoy and P. S. Thiagarajan, Event structures and trace monoids, Theoretical Computer Science, vol.91, issue.2, pp.285-313, 1991.
DOI : 10.1016/0304-3975(91)90087-I