Experiments with continuation semantics for DNA computing

Abstract

We investigate the semantics of a process algebra language for DNA computing. As a formal description technique we use denotational semantics and the mathematical methodology of metric semantics. We use continuations and powerdomains to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing DNA structures. We consider two notions of an observable item and we design two corresponding denotational models. As far as we know this is the first paper that employs the denotational approach in the semantic investigation of DNA computing.