Bisimulations for Open Processes in Higher Order p-Calculus.

Zining Cao

Browse the full TASE paper archive.