SCGLTSA and Java examples repo
The example code is in the following repository:
git clone git://scg.unibe.ch/lectures-cp-examples
MSc registration Fall 2019
JMCS students
- Register on Academia for teaching units by Oct. 11, 2019
- Register on Academia for the CP exam by December 4, 2019
- [January 3, 2020 for all other MSc courses]
NB: Hosted JMCS students (e.g. CS bachelor students etc.) must additionally:
- Request for Academia access by September 30, 2019
See also: Student’s ToDo list for every semester
Registration
- Please also register on Piazza.com
Resources
- 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
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