| Year | 2007 |
|---|---|
| Type | Journal |
| Status | Published |
| Authors | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
Links
Abstract
Existing results in membrane computing refer mainly to P systems’ characterization of Turing computability, also to some polynomial solutions to NP-complete problems by using an exponential workspace created in a “biological way”. In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic. We present some results regarding these implementations, including two operational correspondence results, and discuss why these implementations are relevant in order to take advantage of good features of both structural operational semantics and rewriting logic.
BibTeX
@article{AndreiCL07,
Author = {Oana Andrei and Gabriel Ciobanu and Dorel Lucanu},
title = {A rewriting logic framework for operational semantics of membrane systems},
journal = {Theoretical Computer Science},
volume = {373},
number = {3},
pages = {163 -- 181},
year = {2007},
url = {http://www.sciencedirect.com/science/issue/5674-2007-996269996-646747 [TCS]},
note = {ISI Impact factor 0.735, ISI Influence Factor (2008) = 0.497}
}