Determinacy in a synchronous pi-calculus - Roberto M. Amadio; Mehdi Dogguy (CoRR, 2007)

On Affine Usages in Signal-Based Communication. - Roberto M. Amadio; Mehdi Dogguy (APLAS, 2008)

Enforcing Type-Safe Linking using Inter-Package Relationships. - Mehdi Dogguy; Stéphane Glondu; Sylvain Le Gall; Stefano Zacchiroli (Stud. Inform. Univ., 2011)

Déterminisme et Confluence dans des systèmes concurrents et synchrones. (Determinacy and confluence in concurrent and synchronous process calculi). - Mehdi Dogguy (2012)

Easing software component repository evolution. - Jérôme Vouillon; Mehdi Dogguy; Roberto Di Cosmo (ICSE, 2014)