Models and Languages for Concurrency and Mobility
Spring 2002

Teacher: Lars Birkedal, birkedal@it-c.dk, Glentevej 67, Room 2.21, 3816 8868

Guest Lecturer: Thomas Hildebrandt, hilde@it-c.dk, 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

be able to prove whether two concurrent systems are observationally equivalent
be able to point out different forms and characteristics of mobility, and explain how these can be formally described and analyzed using calculi, such as the pi-calculus
understand the import of various notions of bisimulation and use these notions to prove properties of mobile systems
be able to compare different new calculi for mobility in terms of expressiveness

The course will be based primarily on the book "Communicating and Mobile Systems: the Pi-calculus" by Robin Milner and thus we will cover the following topics: automata, sequential processes and bisimulation, concurrent processes and reaction, transitions and strong equivalence, observation equivalence (theory and examples), what is mobility ?, the pi-calculus and reaction, applications of the pi-calculus, sorts, objects and functions, commitmens and strong bisimulation, observational equivalence. Moreover, we will draw on recent research articles describing new suggestions for calculi for mobility, such as the ambient calculus.

Course Information

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)
Credits	7.5 ECTS
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.
Office Hour	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.
Home	http://www.it-c.dk/~birkedal/teaching/conc-mobility-Spring-2002/
Email-list	TBA

Course Material

This home page is at http://www.it-c.dk/~birkedal/teaching/conc-mobility-Spring-2002/ .

Other pointers:

Schedule

Assignments

Papers and Resources

[ Home | Schedule | Assignments | Papers ]

Lars Birkedal

birkedal@it-c.dk

Teacher:	Lars Birkedal, birkedal@it-c.dk, Glentevej 67, Room 2.21, 3816 8868
Guest Lecturer:	Thomas Hildebrandt, hilde@it-c.dk, Glentevej 67, Room 2.46, 3816 8833

Models and Languages for Concurrency and Mobility Spring 2002

Course Information

Course Material

Models and Languages for Concurrency and Mobility
Spring 2002