12453 search results - page 111 / 2491 » Concurrent Data Structures |
DMKDTTT
2004
15 years 4 months ago
2004
ICDM
2009
IEEE
14 years 11 months ago
2009
IEEE
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
117
click to vote
CRV
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
110
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...