Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions

Abstract

We investigate the semantics of a language inspiredby membrane computing in which computation proceedsin a maximally parallel way, involving multisets of objectsdistributed into hierarchical structures of regions delimitedby membranes. The language provides primitives for parallelcommunication of objects across membranes in the form ofrules that can be used to express symport/antiport interactions. It also provides a primitive for membrane creation. Forthe language under investigation we present a denotationalsemantics designed with metric spaces and continuations.