Mobile Calculi based on Domains

D3.1.0 Deliverable preparation - Virtual machine technologies: Core software framework v0
Firenze, 23-24 September 2002



  1. Feedback from the meeting at Sophia-Antipolis, 20 September 2002 on the core programming model, by R. De Nicola
  2. Brief informal presentations of the recent developments concerning prototyping work carried out by the partners of the MIKADO consortium represented at the meeting:
  3. Long general discussion about the possible execution support for domain based calculi of mobility. Definition of guidelines for the software specification and development.

About this site. Last modified: Tue Apr 8 12:48:58 WEST 2003