54 search results - page 1 / 11 » On the Expressiveness of Forwarding in Higher-Order Communic... |
175
click to vote
ICTAC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
192
click to vote
ICALP
2010
Springer
16 years 9 days ago
2010
Springer
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-...
213
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
228
click to vote
TLCA
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
186
Voted
DBPL
1995
Springer
15 years 11 months ago
1995
Springer
We describe the Tycoon approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...