PIKA-lab / Courses / Distributed Systems / Distributed Systems A.A. 2020-2021 / Lab 7 -- Process Algebrae