projects
Detail
Publication date: 1 de June, 2021Models 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.
Funding Total | 35 |
---|---|
URL | http://www.ncc.up.pt/~lblopes/mimo/ |
State | Concluded |
Startdate | 01/01/2002 |
Enddate | 31/12/2004 |