Describir: Distributed operating systems & algorithms /