Contextual equivalence for higher-order pi-calculus revisited (0)

by A Jeffrey, J Rathke
Venue:Logical Methods in Computer Science