Detail

Publication date: 1 de June, 2021

Models and Infra-structures for Mobile cOmputing

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.

Team

Luis Caires, Hervé Paulino, Vasco Vasconcelos, Francisco Martins,

Funding Total 35
URL http://www.ncc.up.pt/~lblopes/mimo/
State Concluded
Startdate 01/01/2002
Enddate 31/12/2004