Solutions for the Foundations of Concurrent & Distributed Systems Lab (TU Dresden, Summer Semester 2015) - View it on GitHub