- Details
- Written by Christoph Wagner
- Category: Teaching
Intended are not video recordings of lectures etc, but dedicated podcasts, videocasts, screencasts, ...
- Claus Braband: Teaching Teaching & Understanding Understanding (about general concepts, not just Concurrency Theory)
- Details
- Written by Christoph Wagner
- Category: Teaching
Bachelor
Master
- TU Berlin: Algebraic Process Calculi
- Universität Duisburg Essen: Modellierung nebenläufiger Systeme
- Details
- Written by Christoph Wagner
- Category: Teaching
Space to collect and dicuss teaching material about concurrency theory.
For example, there have been dedicated workshops to Teaching Concurrency in the past:
But also events with the larger scope of Teaching Formal Methods:
- Details
- Written by Christoph Wagner
- Category: Teaching
Articles
- Leslie Lamport: Teaching Concurrency
- Luca Aceto et al.: Teaching Concurrency - Theory and Practice (at TFM 2009)
- Moti Ben-Ari: Teaching Concurrency
- Kim Bruce et al.: The Role of Programming Languages in Teaching Concurrency (OOPSPLA 2009)
- Curtis Clifton: Concurrency in the Curriculum: Demands and Challenges
Talks
- Claus Braband: Constructive Alignment for Teaching Model-Based Design for Concurrency (at TeaConc 2007)
- Holger Hermanns & Christian Eisentraut: Teaching Concurrency to Freshmen? (at TeaConc 2007)