Parameterizing higher-order processes on names and processes - Xu, Xian (RAIRO. Informatique théorique et applications, 2019)
Keywords: 68Q05; 68Q10; 68Q85; Context; context bisimulation; encoding; first-order; higher-order; normal bisimulation; Parameterization; processes