A rewriting logic framework for operational semantics of membrane systems

被引：52

作者：

Andrei, Oana

Ciobanu, Gabriel ^{[1
]}

Lucanu, Dorel

机构：

[1] Romanian Acad, Inst Comp Sci, Iasi 700505, Romania

[2] LORIA, F-54602 Villers Les Nancy, France

[3] Alexandru Ioan Cuza Univ, Fac Comp Sci, Iasi 700483, Romania

来源：

THEORETICAL COMPUTER SCIENCE | 2007年 / 373卷 / 03期

关键词：

membrane systems; operational semantics; rewriting logic; maude;

D O I：

10.1016/j.tcs.2006.12.016

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. (c) 2007 Elsevier B.V. All rights reserved.

引用

页码：163 / 181

页数：19

共 19 条

[1]

Andrei O, 2006, LECT NOTES COMPUT SC, V3850, P31

[2]

Andrei O., 2005, LNCS, V3365, P127

[3] Operational Semantics and Rewriting Logic in Membrane Computing [J].

Andrei, Oana ;

Lucanu, Dorel ;

Ciobanu, Gabriel .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 156 (01) :57-78

[4] TERM-REWRITING SYSTEMS WITH RULE PRIORITIES [J].

BAETEN, JCM ;

BERGSTRA, JA ;

KLOP, JW ;

WEIJLAND, WP .

THEORETICAL COMPUTER SCIENCE, 1989, 67 (2-3) :283-301

[5]

Banatre Jean-Pierre, 1986, 566 INRIA

[6] THE CHEMICAL ABSTRACT MACHINE [J].

BERRY, G ;

BOUDOL, G .

THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) :217-248

[7] ELAN from a rewriting logic point of view [J].

Borovansky, P ;

Kirchner, C ;

Kirchner, H ;

Moreau, PE .

THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) :155-185

[8]

Cardelli L, 2005, LECT NOTES COMPUT SC, V3082, P257

[9]

Ciobanu G, 2004, LECT NOTES COMPUT SC, V2933, P123

[10] Distributed algorithms over communicating membrane systems [J].

Ciobanu, G .

BIOSYSTEMS, 2003, 70 (02) :123-133

← 1 2 →