PROFUNDIS: Proofs of Functionality for Mobile Distributed Systems

[ Overview | Meetings | Visits | Events | Publications | Tools | Internal information ]

Visits between partners in the PROFUNDIS project

The following list describes the visits related to partner collaboration.

WP1: Models

WP2: Specifications

WP3: Types

Several visits between sites and to other GC projects have contributed to the progress in WP3:

Valid HTML 4.01! Web page: Björn Victor, latest update Tue, 07-Jan-2003 18:06 MET