MIKADO Global Computing Project IST-2001-32222 Virtual Machine Technologies: Core Software Framework v1 Towards MIKADO Abstract Machines MIKADO Deliverable D3.1.2 Editor : R. DE NICOLA (U. OF FLORENCE) Authors : L. BETTINI , R. DE NICOLA (U. OF FLORENCE), M. LACOSTE (FTR&D), LU´ IS LOPES (U. OF PORTO), V. V ASCONCELOS (U. OF LISBON) Classiﬁcation : Public Deliverable no. : D3.1.2 Reference : RR/WP3/3 Date : January 2003 c  INRIA, France Telecom R&D, U. of Florence, U. of Sussex, U. of Lisbon Project funded by the European Community under the “Information Society Technologies” Programme (1998– 2002)