A project of the Center for Logic and Computation.
Participation of António Ravara in MIMO: Models and Infra-structures for Mobile Computing, a project funded by the Portuguese Agency for Science and Technology FCT (Contract POSI/CHS/39789/2001, January 1, 2002 - December 31, 2004).
The goal of Mimo is to develop a theoretical model for a distributed system with mobile computations, based on process algebra TyCO.
The contribution of the IST Group will focus on developing the model, the algebraic theory, and the type systems.
For relevant publications, you can browse the repository of publications of the Center for Logic and Computation.
Last update: January 10, 2002.