LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
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
Languages: English
Types: Book
Subjects:

Classified by OpenAIRE into

ACM Ref: 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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article