Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice.

Zining Cao

Browse the full TASE paper archive.