Jensen, Jesper Nyholm

• BRICS Report Series No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus - Articles
  Checking for Open Bisimilarity in the pi-Calculus
  Abstract  PDF
• BRICS Report Series No. 26 (2001): RS-26 A Complete Axiomatization of Simulation for Regular CCS Expressions - Articles
  A Complete Axiomatization of Simulation for Regular CCS Expressions
  Abstract  PDF