2 search results - page 1 / 1 » Applying formal methods to gossiping networks with mCRL and ... |
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
TLDI
2009
ACM
14 years 7 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...