On the Expressiveness of Forwarding in Higher-Order Communication

Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwarding. Here we propose a limited form of forwarding: output actions can only communicate the parallel composition of statically known closed processes and processes received through previously executed input actions. We study the expressiveness of a higher-order process calculus featuring this style of communication. Our main result shows that in this calculus termination is decidable while convergence is undecidable.

• Type: Conference
• Year: 2009
• Where: ICTAC
• Authors: Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
• Keywords: Applied Computing, Calculus Termination, ICTAC 2009, Input Actions, Output Actions