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.
|
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