On the expressiveness of forwarding in higher-order communication (2009)
| Venue: | In: Proc. of ICTAC. Volume 5684 of Lecture Notes in Computer Science |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Giusto09onthe,
author = {Cinzia Di Giusto and Jorge A. Pérez and Gianluigi Zavattaro},
title = {On the expressiveness of forwarding in higher-order communication},
booktitle = {In: Proc. of ICTAC. Volume 5684 of Lecture Notes in Computer Science},
year = {2009},
pages = {155--169},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
