China P.R.)

Identifiers

• name variant China P.R.) 0.60 · backfill

Papers (1)

1. On Context Bisimulation for Parameterized Higher-order Processes cs.LO · 2013 · author #4

Mentions

• 1310.4572 #4 · backfill · confidence 0.70 China P.R.)

Frequent Coauthors

• Shanghai 1 shared papers
• Technology 1 shared papers
• Xian Xu (East China University of Science 1 shared papers