Teaching Concurrency: Theory in Practice
| Authors | |
|---|---|
| Year of publication | 2009 |
| Type | Article in Proceedings |
| Conference | Proceedings of 2nd International FME Conference on Teaching Formal Methods (TFM'09), pages 158-175, volume 5846 of LNCS, Springer-Verlag, 2009. |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/978-3-642-04912-5_11 |
| Field | Informatics |
| Keywords | teaching concurrency; tools; semantics and verification |
| Description | Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students in these areas, on the other hand there are more and more students being accepted with less adequate skills in mathematics. We report here on our experiences in teaching concurrency theory over the last twenty years or so to students ranging from mathsphobic bachelor students to sophisticated doctoral students. The contents of the courses, the material on which they are based and the pedagogical philosophy underlying them are described, as well as some of the lessons that we have learned over the years. |
| Related projects: |