2 search results - page 1 / 1 » Applying formal methods to gossiping networks with mCRL and ... |
SIGMETRICS
2008
ACM
13 years 5 months ago
2008
ACM
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...