Model-based Design of Distributed and Mobile Systems

Course formalia and content is described in the course base

Tools

News

• 2005-05-02: Slides on Reactive XML and Bigraphs
• 2005-04-15: Research Pearl Seminar by Robin Milner, April 28th, 15-16.00
• 2005-04-15: Added Mandatory Assignment 4
• 2005-03-15: Added Mandatory Assignment 3
• 2005-03-15: Added Solution guide to selected exercise from week 6
• 2005-03-15: Added Solution guide to selected exercise from week 5
• 2005-03-08: Added Solution guide to selected exercise from week 4
• 2005-02-25: Added Solution Guide for Mandatory Exercise 1
• 2005-02-24: Added mini exercise is added to Mandatory Exercise 1
• 2005-02-18: Added solution guide (for exercises for Lecture 2) under Lecture 3.
• 2005-02-11: Mandatory Exercise 1 available here.
• 2005-02-10: Tentative Lecture plan updated for Lecture 2
• 2005-02-07: Tentative Lecture plan
• 2005-01-18: Welcome to the course in Model-based Design of Distributed and Mobile Systems. Lecture plan and reading list will appear soon.

Teachers

• Thomas Hildebrandt
IT University of Copenhagen
• Mikkel Bundgaard (replace -at- with @ and -dot- with . )
IT University of Copenhagen
• Jens Chr. Godskesen
IT University of Copenhagen