"Characteristic Bisimulation for Higher-Order Session Processes."

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics