Contextual equivalence for higherorder pi-calculus revisited (0)

by A Jeffrey, J Rathke
Venue:Log. Meth. Comput. Sci