IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Models and Languages for Concurrency and Mobility 
Kursusnavn (engelsk):Models and Languages for Concurrency and Mobility 
Semester:Forår 2002 
Udbydes under:cand.it., internet- og softwareteknologi (int) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:https://learnit.itu.dk 
Min. antal deltagere:
Forventet antal deltagere:
Maks. antal deltagere:30 
Formelle forudsætninger:bachelor degree in computer science or the equivalent thereof 
Læringsmål:Upon completion of this course, the student will


  • be able to specify and analyze simple concurrent 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
 
Fagligt indhold: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. 
Læringsaktiviteter:

Lectures and Exercises.
Exercises will primarily be using pencil and paper (e.g.,
proofs of relevant properties), but may include
implementation projects (e.g., implementing an interpreter for one of the calculi studied, in a programming language of your own choice).
 

Eksamensform og -beskrivelse:X. experimental examination form (7-scale; external exam), 13-skala, Intern censur

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.  

Litteratur udover forskningsartikler:
Robin Milner: Communicating and Mobile Systems</href>
(also available <a href= "http://www.amazon.co.uk/exec/obidos/ASIN/0521658691/qid=1003480415/sr=1-4/ref=sr_sp_re/026-5898129-4870008">here</href>