Sciweavers

Share
ICALP
2010
Springer

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

10 years 2 months ago
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-understood for first-order calculi but not in the higher-order setting: synchronous vs. asynchronous communication and polyadic vs. monadic communication. First, and similarly to the first-order setting, synchronous process-passing is shown to be encodable into asynchronous processpassing. Then, the absence of name-passing is shown to induce a hierarchy of higher-order process calculi based on the arity of polyadic communication, thus revealing a striking point of contrast with respect to first-order calculi. Finally, ing of abstractions (i.e., functions from processes to processes) is shown to be more expressive than process-passing alone.
Ivan Lanese, Jorge A. Pérez, Davide Sangior
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ICALP
Authors Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
Comments (0)
books