Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness

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

This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…