Papers

  1. Certifying confluence in a timed process calculus
    M. Dogguy and S. Glondu
    See here for details.
  2. Enforcing Type-Safe Linking using Inter-Package Relationships
    M. Dogguy, S. Le-Gall, S. Glondu and S. Zacchiroli
    JFLA 2010.
  3. On affine usages in signal-based communication (Slides)
    R.M. Amadio and M. Dogguy
    Technical Report, Université Paris Diderot, Laboratoire PPS, April 2008.
    Revised version in APLAS 08 (to appear in Springer LNCS).
  4. Determinacy in a synchronous pi-calculus
    R.M. Amadio and M. Dogguy
    Technical Report, Université Paris Diderot, Laboratoire PPS, July 2007.
    Revised version in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press, 2008.

Talks

  1. TAPIS: a Timed Asynchronous π-calculus
    M. Dogguy
    at International Open Workshop on Synchronous Programming on November 30, 2011
  2. Enforcing Type-Safe Linking using Inter-Package Relationships
    M. Dogguy
    at Groupe de travail “Programmation” on February, 18th, 2010
  3. On affine usages in signal-based communication
    M. Dogguy
    at "Choco meeting " on February 5th, 2009
  4. Determinacy and confluence in a synchronous pi-calculus (in french)
    M. Dogguy
    at "Séminaire Thésards PPS/LIAFA " on December 5th, 2007

Software

  1. Certifying confluence in a timed process calculus