2272 search results - page 51 / 455 » A Calculus for |
145
click to vote
LICS
2008
IEEE
15 years 10 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...
124
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
119
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
132
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...
117
Voted
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...