When you code a distributed algorithm, do you use any library to model abstract things like processor, register, message, link, etc.? Is there a library that does this?
I think, for example, of self-tuning algorithms, such as self-stabilizing minimum spanning tree algorithms.
anon
source
share