Financial support Team members have been involved on a number of projects, that directly or indirectly relate to TyCO MIKADO - Mobile Calculi Based on Domains Information Society Technologies Programme, IST-2001-32222, January 2002 to December 2004 Homepage  http://mikado.di.fc.ul.pt/ MIMO - Models and Infra-structures for Mobile cOmputing Portuguese Foundation for Science and Technology, POSI/CHS/39789/2001, January 2002 to December 2004 Homepage  http://www.ncc.up.pt/~lblopes/mimo/ DICOMO - Concurrency, Distribution, Mobility Portuguese Foundation for Science and Technology, PRAXIS/C/EEI/12059/1998, November 1999 to October 2001 DOLPHIN - A Parallel Computing Environment for a High-Performance Architecture Portuguese Foundation for Science and Technology, PRAXIS/2/2.1/TIT/1577/95, January 1997 to December 1999 Related projects Various TyCO related projects Pict - the Pict Programming Language Pict is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. Homepage  http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Join - the Join-Calculus The join-calculus is an experimental language based on the homonymous process calculus. Homepage  http://pauillac.inria.fr/join/ Klaim - a Kernel Language for Agent Interaction and Mobility Klaim is a formalism that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. Homepage  http://music.dsi.unifi.it/klaim.html MIKADO - Mobile Calculi Based on Domains 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. Homepage  http://mikado.di.fc.ul.pt

TyCO Support Universidade de Lisboa © 2003