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 条
  • [31] Petri net and rewriting logic based formal analysis of multi -agent based safety -critical systems
    Boucherit, Ammar
    Castro, Laura M.
    Khababa, Abdallah
    Hasan, Osman
    MULTIAGENT AND GRID SYSTEMS, 2020, 16 (01) : 47 - 66
  • [32] Specification of real-time and hybrid systems in rewriting logic
    Ölveczky, PC
    Meseguer, J
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 359 - 405
  • [33] Logic-based decision support for strategic environmental assessment
    Gavanelli, Marco
    Riguzzi, Fabrizio
    Milano, Michela
    Cagnoli, Paolo
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 643 - 658
  • [34] Design and Validation of Cloud Storage Systems using Rewriting Logic
    Olveczky, Peter Csaba
    2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019), 2020, : 17 - 21
  • [35] Semantics of deductive databases with spiking neural P systems
    Diaz-Pernil, Daniel
    Gutierrez-Naranjo, Miguel A.
    NEUROCOMPUTING, 2018, 272 : 365 - 373
  • [36] AADL Behavioral Annex Based on Generalized Rewriting Logic
    Benammar, Malika
    Belala, Faiza
    Latreche, Fateh
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE: RCIS 2008, 2007, : 1 - +
  • [37] Further results on contextual and rewriting P systems
    Krishna, SN
    Rama, R
    Ramesh, H
    FUNDAMENTA INFORMATICAE, 2005, 64 (1-4) : 241 - 253
  • [38] Control words of string rewriting P systems
    Atulya K. Nagar
    Ajeesh Ramanujan
    K. G. Subramanian
    International Journal of Advances in Engineering Sciences and Applied Mathematics, 2018, 10 (3) : 230 - 235
  • [39] Control words of string rewriting P systems
    Nagar, Atulya K.
    Ramanujan, Ajeesh
    Subramanian, K. G.
    INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS, 2018, 10 (03) : 230 - 235
  • [40] Hierarchies of parallel rewriting P systems — A survey
    Daniela Besozzi
    Giancarlo Mauri
    Claudio Zandron
    New Generation Computing, 2004, 22 : 331 - 347
12345