data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Introduction into concurrency
Exercises, Prof. Dr.-Ing. M. Heiner, WS 2019/2020
This course will be in English.
latest updated: January 13, 2020, at 11:46 AM
time: mondays, 17:00-18:30
room: VG 1c, R 2.01;
back2lecture
Tasks
| # | Task | PNs | Provision | Deadline |
| 1.1 | Task1 | Fig1, Fig2 | 17.10.2019 | part 1: 20.10.2019 |
| 1.2 | part 2: 25.10.2019 | |||
| 2.1 | Task2 | Fig1 | 28.10.2019 | part 1: 01.11.2019 |
| 2.2 | part 2: 15.11.2019 | |||
| 3.1 | Task3 | 18.11.2019 | part 1: 22.11.2019 | |
| 3.2 | Fig1 | part 2: 29.11.2019 | ||
| 4.1 | Task4 supplementary-material rw-template | 03.12.2019 | part 1: 07.12.2019 | |
| 4.2 | part 2: 13.12.2019 | |||
| 5.1 | Task5 philosophers.pn RW2-flawed.java rw-pattern.colpn rw-pattern-colpn-place-names.txt | part 1: 10.01.2020 | ||
| 5.2 | protocol-pattern.pn | part 2: 17.01.2020 | ||
| 6 | Task6 task6-java-src-templates.zip | 13.01.2020 | 24.01.2020 | |
| 7? |
Schedule
Tools
In the seminar we will use the following tools.
Snoopy
Charlie
Marcie
JavaFC