Correct metric semantics for a language inspired by DNA computing. (24th July 2015)

• Record Type: Journal Article
• Authors: Ciobanu, Gabriel; Todoran, Eneia Nicolae
• Other Names: Frincu Mark guestEditor.; Bósa Károly guestEditor.; Rong Chunming guestEditor.; Liu Lu guestEditor.; Chen Guolong guestEditor.
• Is Part Of: Concurrency and computation. Volume 28:Number 11(2016)
• Page Start: 3042
• Page End: 3060
• Publication Date: 2015-07-24
• Subjects: DNA computing -- operational semantics -- denotational semantics -- semantic correctness; Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.3585
• Languages: English
• ISSNs: 1532-0626

Abstract

Summary: We investigate a language similar to a process algebra introduced by Cardelli for DNA computing. For such a language, we relate two formal semantics. We define a new denotational semantics by using complete metric spaces, in which various semantic functions are defined as fixed points of appropriate higher‐order mappings. We compare this denotational semantics with an operational semantics and establish a formal relationship between them by using an abstraction operator and a fixed point argument. In this way, we prove the correctness of the denotational semantics with respect to the operational one. Copyright © 2015 John Wiley & Sons, Ltd.