|Teacher:||Lars Birkedal, email@example.com, Glentevej 67, Room 2.21, 3816 8868|
|Guest Lecturer:||Thomas Hildebrandt, firstname.lastname@example.org, Glentevej 67, Room 2.46, 3816 8833|
Upon completion of this course, the student will be able to specify and analyze simple concurrent and mobile systems, in particular
|Lectures||Thursdays, Glentevej, Room 1.03, 9:00 AM - 12:00 AM|
|Prerequisites||Bachelor degree in computer science or the equivalent thereof.|
|Literature||Robin Milner: Communicating and Mobile Systems: the pi-calculus and various articles (handed out during the course)|
|Homework and Grading||The course will be graded "passed" / "not-passed" based on a number of mandatory exercises to be handed in by the students, with an internal examiner.|
Thursdays 1:00 PM - 2 PM.
At this time you can come individually to the office of the lecturer of the day to discuss the course material or other questions.