Abstract : Members of MIT's Theory of Distributed Systems group continued their work on modelling, designing, verifying and analyzing distributed and real time systems. The focus is on the study of "building blocks" for the construction of reliable and efficient systems. These works fall into three general categories: modelling and verification tools, algorithms and impossibility results, and applications.