CV Accueil - Archive ouverte HAL

	A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded) Damien Pous , Daniel Hirschkoff Logical Methods in Computer Science, 2008, ⟨10.2168/LMCS-4(2:4)2008⟩ Article dans une revue hal-01442744v1
	An Efficient Abstract Machine for Safe Ambients Daniel Hirschkoff , Damien Pous , Davide Sangiorgi Journal of Logic and Algebraic Programming, 2007, ⟨10.1016/j.jlap.2007.02.003⟩ Article dans une revue hal-01442746v1

	On Bisimilarity and Substitution in Presence of Replication Daniel Hirschkoff , Damien Pous ICALP, Jul 2010, Bordeaux, France. pp.454-465, ⟨10.1007/978-3-642-14162-1_38⟩ Communication dans un congrès hal-00375604v4
	Encapsulation and Dynamic Modularity in the Pi-Calculus Daniel Hirschkoff , Aurélien Pardon , Tom Hirschowitz , Samuel Hym , Damien Pous PLACES 2008, 2008, Oslo, Norway. pp.85 - 100, ⟨10.1016/j.entcs.2009.06.005⟩ Communication dans un congrès hal-00400159v1
	A Distribution Law for CCS and a New Congruence Result for the pi-calculus Daniel Hirschkoff , Damien Pous FoSSaCS, 2007, Braga, Portugal. ⟨10.1007/978-3-540-71389-0_17⟩ Communication dans un congrès hal-00089219v4
	A Correct Abstract Machine for Safe Ambients Daniel Hirschkoff , Damien Pous , Davide Sangiorgi COORDINATION, 2005, Namur, Belgium. ⟨10.1007/11417019_2⟩ Communication dans un congrès hal-01441466v1
	Component-Oriented Programming with Sharing: Containment is not Ownership Daniel Hirschkoff , Tom Hirschowitz , Damien Pous , Alan Schmitt , Jean-Bernard Stefani Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩ Communication dans un congrès hal-00310126v1

Damien Pous