Describir: Distributed Operating Sytems and Algorithm Analysis /