An instance of the MIKADO migration model

Book English OPEN
Martins, Francisco ; Salvador, Liliana ; Vasconcelos, Vasco T ; Lopes, Luis M (2005)
  • Publisher: MIKADO Global Computing Project. Information Society Technologies , Future and Emerging Technologies Global Computing
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

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.
  • References (6)

    [1] G. Boudol. Core programming model, release 0. Mikado Deliverable D1.2.0, 2002.

    [2] G. Boudol. A parametric model of migration and mobility, release 1. Mikado Deliverable D1.2.1, 2003.

    [3] G. Boudol. A generic membrane model. In Second Global Computing Workshop, 2004. To appear in Lecture Notes in Computer Science, Vol. 3267.

    [4] Vasco T. Vasconcelos. Core-tyco appendix to the language definition, version 0.2. Technical report, Faculty of Sciences of the University of Lisbon, 2001.

    [5] Vasco T. Vasconcelos. Tyco gently. Technical report, Faculty of Sciences of the University of Lisbon, 2001.

    [6] Vasco T. Vasconcelos and Rui Bastos. Core-tyco the language definition, version 0.1. Technical report, Faculty of Sciences of the University of Lisbon, 1998.

  • Metrics
    No metrics available
Share - Bookmark