MIMO - Models and Infra-structures for Mobile Computing

This is the official homepage for the MIMO project. The project will span over three years and is being financed by FCT (Fundação para a Ciência e Tecnologia).

All information and results for the project will be posted in this page throughout its duration. This will include announcements, publications, software and progress reports.

The project's aims

The work will focus on the theoretical foundations and implementations of provably correct distributed systems supporting computational mobility. More specificaly, one goal of the project is to produce a comprehensive specification for a distributed system with mobile computations. The following issues will be addressed: Another goal of the project focuses on implementation and it involves:


MIMO: Lista de Publicações Citadas no Relatório Final

Contact (project manager)