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) (to be updated)
• Exercises (pdf) (to be updated)
• 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)