Projects details

MIMO - Models and Infra-structures for Mobile cOmputing

Jan 2002 - Dec 2004

The project 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 project 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.

Project type: PN

Project reference:

Coordinated by:

FC/UP - Faculdade de Ciências da Universidade do Porto

Funding entities:

FCT-MCTES - Fundação para a Ciência e a Tecnologia (MEC)

Total Funding Amount: 35

Local Funding Amount:

Start Date: 1 Jan 2002

End Date: 31 Dec 2004

Participations Luis Caires [Researcher], Hervé Paulino [Researcher], Vasco Vasconcelos, Francisco Martins

Url: http://www.ncc.up.pt/~lblopes/mimo/