MiKO: Mikado Koncurrent Objects

Foundations of Global Computing

计算机科学;物理学

Francisco Martins ; Liliana Salvador ; Vasco T. Vasconcelos ; Luís Lopes

Others  :  http://drops.dagstuhl.de/opus/volltexte/2006/301/pdf/05081.VasconcelosVasco.Paper.301.pdf
PID  :  6775

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

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.