Adrien Pi\'erard
Identifiers
- name variant Adrien Pi\'erard 0.60 · backfill
Papers (1)
- Sound Bisimulations for Higher-Order Distributed Process Calculus cs.LO · 2010 · author #1
Mentions
- 1006.4943 #1 · backfill · confidence 0.70 Adrien Pi\'erard
Frequent Coauthors
- Eijiro Sumii 1 shared papers