You can read the following paper dealing with how we use the book to teach concurrency theory.

- Teaching Concurrency: Theory in Practice (PDF, copyright by Springer-Verlag)

Examples of our lectures using this book are here:

- Modelling and Verification 2009 – Reykjavík University – Three-week intensive course
- Semantics and Verification 2008 – Aalborg University
- Modelling and Verification 2006 – Reykjavík University
- Semantics and Verification 2004 – University of Iceland

**A package with latex slides (including latex sources) used by Jiri Srba in 2005-2007 at Aalborg University in Denmark can be downloaded** here. Please, read the file README.txt for further information regarding the use of the slides and the compilation of the files.

**A package with latex slides (including latex sources) with some pictures of timed automata and TLTSs from Part II of the book can be downloaded** here.

**A LaTeX file with slides used for lectures on modal logics for timed automata can be downloaded here.**

Here are examples of courses from other universities that use our book:

- Introduction to Concurrency and Verification – University of Salzburg
- Modelling and Verification – Technical University of Ostrava
- Dependable Systems and Software: Nebenläufige Programmierung – Universitäet Des Saarlandes (See here for the full reading list for this course.)
- Semantics (Q1,’07) – University of Aarhus
- Software Specification – Technical University Eindhoven
- Linguaggi e Modelli per il Global Computing – Università di Padova
- Analyse des Programmes et Sémantique – Master d’Informatique UPMC — M1 STL — 2007/2008 APS
- Real Time Systems – Faculty of Informatics, Masaryk University, Brno
- Modelli e Sistemi Concorrenti (A.A. 2008/2009), Universitá degli Studi di Bologna
- Process Modelling and Validation – Technical University of Denmark
- Modelling and Verification 2008, Universitá di Camerino
- Timed Systems – Università degli Studi di Camerino
- Reactive Systems (CS7011) – Trinity College, Dublin, held by Matthew Hennessy
- Reactive and Real Time systems. Seminar and course held at Tel Aviv University and Academic College Tel-Aviv Yaffo by Shmuel Tyszberowicz.
- Formal Methods – University of Luxembourg
- Modèlisation pour le Génie Logiciel’ (Modelling for Software Engineering) – Ecole Centrale Paris
- Concurrency Theory (4) – RWTH Aachen
- Modelovani a Verifikace – Palacky University Olomouc
- Reactive Systems – Technische Universität Berlin
- Formal Methods for System Vericication – Ca’Foscari University, Italy

If you are using our book in your course, please, let us know about it. Thanks!