Typed Programming Languages for Communicating Object Systems


This project is funded by a travel grant from the British Council in Portugal (1000) and the Portuguese Council of University Rectors (Euro 1500) under the Treaty of Windsor Programme. The project will run from April 2002 to April 2003.


The project is a collaboration with Dr Vasco Vasconcelos of the University of Lisbon and Dr Antonio Ravara of the Technical University of Lisbon.