Accéder directement au contenu

Damien Pous

4
Documents

Publications

"tomhirschowitz"
Image document

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)

 Tom Hirschowitz , Damien Pous
Scientific Annals of Computer Science, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩
Article dans une revue hal-00555144v3

Innocent strategies as presheaves and interactive equivalences for CCS

 Tom Hirschowitz , Damien Pous
ICE, Jun 2011, Reykjavik, Iceland. pp.2-24, ⟨10.4204/EPTCS.59.2⟩
Communication dans un congrès hal-00616648v1
Image document

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
Image document

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