, 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
, 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
, Lattice Theory, 1967.
DOI : 10.1090/coll/025
, Event structures and domains, Theoretical Computer Science, vol.68, issue.1, pp.37-47, 1989.
DOI : 10.1016/0304-3975(89)90117-5
, 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
, Continuous Lattices and Domains, 2003.
DOI : 10.1017/CBO9780511542725
, 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
, 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
, Spaces of maximal points, Mathematical Structures in Computer Science, vol.7, issue.5, pp.543-555, 1997.
DOI : 10.1017/S0960129597002363
, Elementary Categories, Elementary Toposes, 1992.
, 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
, The Book of Traces, chapter Trace structures and other models for concurrency, World Scientific, 1995.
, Event structures and trace monoids, Theoretical Computer Science, vol.91, issue.2, pp.285-313, 1991.
DOI : 10.1016/0304-3975(91)90087-I