17840 search results - page 3241 / 3568 » Heterogeneous Parallel Computing |
138
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
154
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
173
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
163
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
172
click to vote
DCOSS
2005
Springer
16 years 6 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...