Teaching Concurrency: Theory in Practice

Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba

Research output: Contribution to journalConference article in JournalResearchpeer-review

Abstract

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.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume5846
Pages (from-to)158-175
Number of pages18
ISSN0302-9743
DOIs
Publication statusPublished - 2009
Event2nd International FME Conference on Teaching Formal Methods (TFM'09) - Eindhoven, Netherlands
Duration: 2 Nov 20096 Nov 2009
Conference number: 2

Conference

Conference2nd International FME Conference on Teaching Formal Methods (TFM'09)
Number2
CountryNetherlands
CityEindhoven
Period02/11/200906/11/2009

    Fingerprint

Keywords

  • teaching concurrency

Cite this