CV Accueil - Archive ouverte HAL

	A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) Luigi Santocanale Information and Computation, 2010, 208 (6), pp.652--665. ⟨10.1016/j.ic.2009.05.006⟩ Article dans une revue hal-00369451v1
	Derived Semidistributive Lattices Luigi Santocanale Algebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩ Article dans une revue hal-00165699v2
	The Variable Hierarchy for the Games mu-Calculus Walid Belkhir , Luigi Santocanale Annals of Pure and Applied Logic, 2010, 161 (5), pp.690-707. ⟨10.1016/j.apal.2009.07.015⟩ Article dans une revue hal-00178806v2
	On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices) Luigi Santocanale Order, 2007, 24 (3), pp.155--179. ⟨10.1007/s11083-007-9066-0⟩ Article dans une revue hal-00142355v1
	Completions of mu-algebras Luigi Santocanale Annals of Pure and Applied Logic, 2007, 154 (1), pp.27-50. ⟨10.1016/j.apal.2007.11.001⟩ Article dans une revue hal-00142353v1

	On the word problem for SP-categories, and the properties of two-way communication Luigi Santocanale , Robin Cockett CSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, ⟨10.1007/978-3-642-04027-6_16⟩ Communication dans un congrès hal-00374654v1
	Undirected Graphs of Entanglement Two Walid Belkhir , Luigi Santocanale FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. ⟨10.1007/978-3-540-77050-3_42⟩ Communication dans un congrès hal-00144355v2
	A Nice Labelling for Tree-Like Event Structures of Degree 3 Luigi Santocanale CONCUR 2007, Sep 2007, Lisbon, Portugal. pp.151-165, ⟨10.1007/978-3-540-74407-8_11⟩ Communication dans un congrès hal-00142349v1
	Topological properties of event structures Luigi Santocanale GETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. pp.149-160, ⟨10.1016/j.entcs.2009.02.023⟩ Communication dans un congrès hal-00432038v1

	Structures algébriques en logique et concurrence Luigi Santocanale Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008 HDR tel-00369583v1

Luigi Santocanale