SCGLTSA and Java examples repo
The example code is in the following repository:
git clone git://scg.unibe.ch/lectures-cp-examples
NB: The University of Bern requires all those attending lectures or meetings in presence to have a valid Covid certificate.
MSc registration Fall 2021
JMCS students
- Register on Academia for teaching units by Oct. 9, 2021
- Register on Academia for the CP exam by December 8, 2021
- [January 4, 2022 for all other MSc courses]
NB: Hosted JMCS students (e.g. CS bachelor students etc.) must additionally:
- Request for Academia access by September 30, 2021
See also: Student’s ToDo list for every semester
Registration
- Please also register on ILIAS
Resources
- ILIAS discussion forum
- Podcasts
- Annotated lecture slides (pdf)
- Exercises (pdf)
- LTSA and Java examples repo
- LTSA 3.0 download
- LTSA documentation
- Petit Petri Net Interpreter
- Course evaluations: WS05/06, HS10, HS15, HS17, H21, H21 exam
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Reading material
(unibe intranet or vpn only)
- Concurrent programming in Java (unibe access only)
- Online Supplement to Concurrent Programming in Java by Doug Lea.
- java.util.concurrent Interest Site
- Concepts and Notations for Concurrent Programming survey paper (pdf)
- Petri Nets survey paper (pdf)
- Linda survey paper (pdf)
Last changed by admin on 21 April 2009