A project of the Center for Logic and Computation.

Participation of António Ravara in the Mikado: Mobile Calculi based on Domains, a project funded by EU proactive initiative FET-Global Computing (Contract IST-2001-32222, January 1, 2002 - December 31, 2004).

The goal of Mikado is to construct a new formal programming model, based upon the notion of domain as a computing concept, which supports reliable, distributed mobile computation, and provides the mathematical basis for a secure standard for distributed computing in open systems.

The contribution of the IST Group will focus on type systems for models of distributed computing in open systems.

For relevant publications, you can browse the repository of publications of the Center for Logic and Computation.

Last update: December 12, 2002.