An instance of the MIKADO migration model

Martins, F., Salvador, L. , Vasconcelos, V. T. and Lopes, L. M. (2005) An instance of the MIKADO migration model. Project Report. MIKADO Global Computing Project. Information Society Technologies , Future and Emerging Technologies Global Computing.

[img]
Preview
Text
114677.pdf - Published Version

120kB

Publisher's URL: http://mikado.di.fc.ul.pt/

Abstract

In this document, we briefly describe the main contribution to the deliverable on experimenting with the implementation of most of the calculi considered in the project. First, we describe how two well known calculi for mobile processes KLAIM and Dπ have been implemented on the top of IMC. We then describe the implementation of the MiKO programming language, an instance of the parametric calculus introduced in the WP1 with the TyCO calculus as the content of the membrane itself. After this, we outline the description of the implementation of the abstract machine for an instance of the Kell Calculus that dedicates particular attention to the proof of its correctness. Our presentation ends with a discussion of the problem of implementing security membranes on the top of an execution platform.

Item Type:Research Reports or Papers (Project Report)
Status:Published
Glasgow Author(s) Enlighten ID:Salvador, Dr Liliana
Authors: Martins, F., Salvador, L., Vasconcelos, V. T., and Lopes, L. M.
College/School:College of Medical Veterinary and Life Sciences > School of Biodiversity, One Health & Veterinary Medicine
Publisher:MIKADO Global Computing Project. Information Society Technologies , Future and Emerging Technologies Global Computing

University Staff: Request a correction | Enlighten Editors: Update this record