"Core Higher-Order Session Processes: Tractable Equivalences and Relative ..."

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