INF557 – Introduction to Concurrent and Communicating Systems