Teaching Concurrency: Theory in Practice

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5846
Sider (fra-til)158-175
Antal sider18
ISSN0302-9743
DOI
StatusUdgivet - 2009
Begivenhed2nd International FME Conference on Teaching Formal Methods (TFM'09) - Eindhoven, Holland
Varighed: 2 nov. 20096 nov. 2009
Konferencens nummer: 2

Konference

Konference2nd International FME Conference on Teaching Formal Methods (TFM'09)
Nummer2
LandHolland
ByEindhoven
Periode02/11/200906/11/2009

Bibliografisk note

Titel:
2nd International FME Conference on Teaching Formal Methods (TFM'09)

Oversat titel:


Oversat undertitel:


Forlag:
Springer

ISBN (Trykt):
978-3-642-04911-8

ISBN (Elektronisk):


Publikationsserier:
Lecture Notes in Computer Science, Springer Verlag, 0302-9743, 1611-3349, 5846

Fingeraftryk Dyk ned i forskningsemnerne om 'Teaching Concurrency: Theory in Practice'. Sammen danner de et unikt fingeraftryk.

Citationsformater