Vak Distributed Algorithms (IN4150)