PIKA-lab / Courses / Distributed Systems / Distributed Systems A.A. 2018-2019 / lab-7