pith. sign in

Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble)

Identifiers

  • name variant Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) 0.60 · backfill

Papers (2)

  1. Encapsulation and Dynamic Modularity in the Pi-Calculus cs.PL · 2009 · author #5
  2. On characterising strong bisimilarity in a fragment of CCS with replication cs.LO · 2008 · author #2

Mentions

  • 0906.5446 #5 · backfill · confidence 0.70 Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble)
  • 0810.2061 #2 · backfill · confidence 0.70 Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble)

Frequent Coauthors