MiKO-Mikado Koncurrent Objects

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,

114662.pdf - Accepted Version


Publisher's URL: http://drops.dagstuhl.de/opus/volltexte/2006/301


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

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