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
Promela Exercises
Java Exercises
Erlang Exercises
Labs
General information
Lab 1: Trainspotting
Lab 2: Trainspotting II
Lab 3: Linda
Lab 4: CCHAT
Exams
Erlang
Sequential aspects
Concurrency model
Client-server architecture
Concurrent patterns revisited
Parallel code
Workers and Software Transactional Memories
Lab 3 - CCHAT