data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Introduction into concurrency
Seminar, WS 2015/2016
latest updated: January 21, 2016, at 09:34 AM
time: Thursday 15:30-16:00
room: VG 1c, R 2.01;
lecture
Tasks
| # | Task | Provision | Deadline |
| 1 | task 1 | 28.10.2015 | 12.11.2015 |
| 2 | task 2 | 12.11.2015 | 26.11.2015 |
| 3 | task 3 | 12.11.2015 | 03.12.2015 |
| 4 | task4 task4-rw.colpn task4-rw.colpn-toplevel.pdf task4-wait_notify_semantics.pdf | 03.12.2015 | 17.12.2015 |
| 5 | task5 protocol.pn | 07.01.2015 | 21.01.2016 |
| 6 | task6 task6_sources | 21.01.2016 | 04.02.2016 |
Schedule
Tools
In the seminar we will use the following tools.
Snoopy
Charlie
Marcie
JavaFC