Characteristic Bisimulations for Higher-Order Session Processes

Authors

Dimitrios Kouzapas, Nobuko Yoshida, Jorge A Pérez,