Martins, F., Salvador, L. , Vasconcelos, V. T. and Lopes, L. B. (2006) MiKO-Mikado Koncurrent Objects. In: Foundations of Global Computing, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2006,
|
Text
114662.pdf - Accepted Version 565kB |
Publisher's URL: http://drops.dagstuhl.de/opus/volltexte/2006/301
Abstract
We present MiKO, a distributed process calculus obtained by instantiating Boudol’s Generic Membrane Model with the TyCO language. In the membrane model, a network is composed of a collection of domains, each of which comprises an outer part, the membrane, and an inner part, the contents. The contents of the domain is its computational core. It interacts with the outside (the other domains in the network) using the membrane as intermediary. The membrane implements all protocols required to control the flow of information between the network and the contents of the domain. We provide an operational semantics and a type system for the calculus and prove subject reduction, together with some examples.
Item Type: | Conference Proceedings |
---|---|
Keywords: | Global computing, code migration, administrative domains, process calculus |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Salvador, Dr Liliana |
Authors: | Martins, F., Salvador, L., Vasconcelos, V. T., and Lopes, L. B. |
College/School: | College of Medical Veterinary and Life Sciences > School of Biodiversity, One Health & Veterinary Medicine |
Research Group: | Foundations of Global Computing |
ISSN: | 1862-4405 |
University Staff: Request a correction | Enlighten Editors: Update this record