Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice | IEEE Conference Publication | IEEE Xplore