Project goals: focus on the theoretical foundations and implementations of provably correct distributed systems supporting computational mobility. More specifficaly, one goal of the project is to produce a comprehensive specification for a distributed system with mobile computations.
Funding Value:35.000 €