This document describes a Ph.D. level course, corresponding to a Curricular Unit covering the Theory of Distributed Computing, currently running in the joint MAP-i doctoral programme in Informatics, organized by three Portuguese universities (Minho, Aveiro and Porto). This course has been submitted for accreditaion by the CMU doctoral programme in August 2008 and awaits for the process ’ outcome. This course has been taught in all three previous editions of the MAP-i programme. The current proposal for the 2010-2011 has the same structure and content of last year’s edition, emphasizing critical systems with deeper study of agreement problems, stateof-the-art formal modeling of timed asynchronous networks, and real-time systems. It has also the same proponent team that encompasses researchers from two universities, Minho and Porto. Lecture material of the previous edition can be found in the course’s web page.
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.