Parameterizing higher-order processes on names and processes

• Published in: RAIRO. Informatique théorique et applications Vol. 53; no. 3-4; pp. 153 - 206
• Main Author: Xu, Xian
• Format: Journal Article
• Language: English
• Published: Paris EDP Sciences 01.07.2019
• Subjects: 68Q05; 68Q10; 68Q85; Context; context bisimulation; encoding; first-order; higher-order; normal bisimulation; Parameterization; processes

Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). As is well-known, this extension is strict, meaning that higher-order processes equipped with parameterization are strictly more expressive than those without parameter...