Mobile Calculi based on Domains


MiKO\Mikado Koncurrent Object

F. Martins and L. Salvador and L. Lopes and V. Vasconcelos

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: Wed Nov 22 08:36:18 CET 2017