Toggle navigation
Home/News
Information
About the course
Time schedule
Literature resources
Textbook and related books
Lectures
Programming resources
Computer issues
Resources for Java, Erlang and SPIN
Exercises
Overview
Exercise 1
Solution
Exercise 2
Solution
Exercise 3
Solution
Labs
General information
Lab 1: Trainspotting
Lab 2: Trainspotting II
Lab 3: CCHAT
Lab 4: CCHAT II
Exams
Erlang
Sequential aspects
Concurrency model
Client-server architecture
Concurrent patterns revisited
Parallel code
Workers and Software Transactional Memories
Lab 3 - CCHAT