122 search results - page 25 / 25 » Using Disjoint Reachability for Parallelization |
LICS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
TPDS
2010
13 years 3 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...