2 search results - page 1 / 1 » Applying formal methods to gossiping networks with mCRL and ... |
174
click to vote
TLDI
2009
ACM
16 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...