Location of Repository

Distributed Computing Proposal for a MAP-I optional curricular unit on Theory and Foundations (2010-2011 edition)

By Carlos Baquero, Francisco Moura, Francisco Vasques, José Pereira, Paulo Almeida, Pedro Souto and Rui Oliveira


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.

Year: 2011
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://gsd.di.uminho.pt/teachi... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.