REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY

被引：1
作者：
Lucanu, Dorel [1 ]
机构：
[1] Alexandru Ioan Cuza Univ, Fac Comp Sci, Iasi 700483, Romania
来源：
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE | 2009年 / 20卷 / 03期
关键词：
Rewriting logic; P systems; maximal concurrency; membrane computing; MEMBRANE SYSTEMS; TRUE-CONCURRENCY; CAUSALITY;
D O I：
10.1142/S0129054109006644
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We use distributed labeled transition systems and their modal logics in order to compare the concurrency degrees of the P systems and their encoding as rewrite theories in rewriting logic. We show that the maximal concurrency given by the maximal parallel rewriting semantics of the P systems can be expressed in rewriting logic only by interleaving semantics. The maximal concurrency of the membrane interactions is only partially captured.
引用
收藏
页码：395 / 410
页数：16
相关论文
共 50 条
  • [21] Executable rewriting logic semantics of Orc and formal analysis of Orc programs
    AlTurki, Musab A.
    Meseguer, Jose
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (04) : 505 - 533
  • [22] An environment based on rewriting logic for parallel systems formal specification and prototyping
    Attoui, A
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 44 (02) : 79 - 105
  • [23] A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
    Bae, Kyungmin
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 290 : 19 - 36
  • [24] P systems with array objects and array rewriting rules
    Subramanian, K. G.
    Saravanan, R.
    Geethalakshmi, M.
    Chandra, P. Helen
    Margenstern, M.
    PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL, 2007, 17 (04) : 479 - 485
  • [25] P systems with array objects and array rewriting rules
    K.G. Subramanian
    R. Saravanan
    M. Geethalakshmi
    P. Helen Chandra
    M. Margenstern
    Progress in Natural Science, 2007, (04) : 479 - 485
  • [26] Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
    Agrigoroaiei, Oana
    Ciobanu, Gabriel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 5 - 22
  • [27] On three variants of rewriting P systems
    Ferretti, C
    Mauri, G
    Paun, G
    Zandron, C
    THEORETICAL COMPUTER SCIENCE, 2003, 301 (1-3) : 201 - 215
  • [28] Rewriting P systems: improved hierarchies
    Mutyam, M
    THEORETICAL COMPUTER SCIENCE, 2005, 334 (1-3) : 161 - 175
  • [29] Controlled Rewriting Distributed P Systems
    Buno, Kelvin C.
    Adorna, Henry N.
    THEORY AND PRACTICE OF COMPUTATION, 2012, 5 : 46 - 61
  • [30] Array-rewriting P systems
    Rodica Ceterchi
    Madhu Mutyam
    Gheorghe Păun
    K.G. Subramanian
    Natural Computing, 2003, 2 (3) : 229 - 249
12345