Mehdi Dogguy

According to our database, Mehdi Dogguy authored at least 5 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Easing software component repository evolution.

Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo

Proceedings of the 36th International Conference on Software Engineering, 2014

2012

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

Mehdi Dogguy

PhD thesis, 2012

2011

Enforcing Type-Safe Linking using Inter-Package Relationships.

Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli

Stud. Inform. Univ., 2011

2008

On Affine Usages in Signal-Based Communication.

Roberto M. Amadio, Mehdi Dogguy

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Determinacy in a synchronous pi-calculus

Roberto M. Amadio, Mehdi Dogguy

CoRR, 2007