کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875832 | 1441988 | 2017 | 40 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Denotational semantics of membrane systems by using complete metric spaces
ترجمه فارسی عنوان
معانی انتزاعی سیستم های غشایی با استفاده از فضاهای متریک کامل
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سیستم های غشایی، فضاهای متریک کامل ادامه عبور،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this paper we present a mathematical model for a class of membrane systems, emphasizing on constructions of the denotational semantics as fixed points over complete metric spaces (to describe the semantics of multiset rewriting) and metric powerdomains (to describe the nondeterministic behaviour). We use the continuation-passing style, a technique providing enough flexibility for handling the concept of maximal parallelism and for describing the specific interactions in a membrane system. An important feature of the denotational approach is that it provides a compositional view of the membrane systems. Moreover, the semantics can be implemented naturally in a functional programming language; the implementation in Haskell is provided, and it is freely available for software experiments.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 701, 21 November 2017, Pages 85-108
Journal: Theoretical Computer Science - Volume 701, 21 November 2017, Pages 85-108
نویسندگان
Gabriel Ciobanu, Eneia Nicolae Todoran,