Characteristic Bisimulation for Higher-Order Session Processes.

Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida

Browse the full CONCUR paper archive.