MiKO\Mikado Koncurrent Object
Abstract
MiKO is a distributed higher order instance of TyCO-calculus based on the MIKADO's membrane model, distributing processes over a flat network of domains. The migration of code from one domain to another passes always through the domains's membranes. The calculus contains special primitives to handle migration between such domains. The paper presents the syntax, operational semantics, and type system for MiKO.
@Unpublished\{martins.etal:mikado-koncurrent-objects,
author = \{F. Martins and L. Salvador and L. Lopes and V. Vasconcelos},
title = \{MiKO\Mikado Koncurrent Object},
year = \{2005},
url = \{http://mikado.di.fc.ul.pt/repository/martins.etal_mikado-koncurrent-objects.pdf}
}
About this site. Last modified: Thu Apr 25 22:08:53 CEST 2024