Applied Operational Semantics: Part 1

Course Information

Lecturer: Steffen van Bakel

Course:

The lecture time have changed: as of Jan 24 2008, teaching will take place at:

Thursday, 10 - 13, room 343.

Notes:

You can find the notes as used in the course in the following files (click on the appropriate icon):

These notes are based on slides prepared by Chris Hankin, and to be used in the course Applied Operational Semantics: Part 1 (3.14) at the Department of Computing, Imperial College. The notes lean heavily on the book Semantics with Applications A Formal Introduction by Hanne Riis Nielson and Flemming Nielson, that is recommended for further reading. You can get this book for free from the Web below.

The book