On Context Bisimulation for Parameterized Higher-order Processes

Xian Xu

This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes wit…