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 条
  • [41] Hierarchies of parallel rewriting P systems - A survey
    Besozzi, D
    Mauri, G
    Zandron, C
    NEW GENERATION COMPUTING, 2004, 22 (04) : 331 - 347
  • [42] Logic Negation with Spiking Neural P Systems
    Rodriguez-Chavarria, Daniel
    Gutierrez-Naranjo, Miguel A.
    Borrego-Diaz, Joaquin
    NEURAL PROCESSING LETTERS, 2020, 52 (02) : 1583 - 1599
  • [43] Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway
    Santos-Garcia, Gustavo
    De Las Rivas, Javier
    Talcott, Carolyn
    PROCEEDINGS IWBBIO 2014: INTERNATIONAL WORK-CONFERENCE ON BIOINFORMATICS AND BIOMEDICAL ENGINEERING, VOLS 1 AND 2, 2014, : 924 - 935
  • [44] Logic Negation with Spiking Neural P Systems
    Daniel Rodríguez-Chavarría
    Miguel A. Gutiérrez-Naranjo
    Joaquín Borrego-Díaz
    Neural Processing Letters, 2020, 52 : 1583 - 1599
  • [45] Model Checking of Real-Time Systems Using Rewriting Logic
    Bendiaf, Messaoud
    Bourahla, Mustapha
    Boudia, Malika
    Rehab, Seidali
    PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES (ICEIT 2017), 2017,
  • [46] Verification of complex real-time systems using rewriting logic
    Computer Science Department, University of Biskra, BP 145 RP, Biskra
    07000, Algeria
    J. Compt. Inf. Technol., 2009, 3 (265-284): : 265 - 284
  • [47] Simulation and analysis of MultEcore multilevel models based on rewriting logic
    Rodriguez, Alejandro
    Duran, Francisco
    Kristensen, Lars Michael
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (02) : 561 - 586
  • [48] Rewriting P Systems with Flat-Splicing Rules
    Pan, Linqiang
    Song, Bosheng
    Subramanian, K. G.
    MEMBRANE COMPUTING (CMC 2016), 2017, 10105 : 340 - 351
  • [49] Simulation and analysis of MultEcore multilevel models based on rewriting logic
    Alejandro Rodríguez
    Francisco Durán
    Lars Michael Kristensen
    Software and Systems Modeling, 2022, 21 : 561 - 586
  • [50] REWRITING P SYSTEMS WITH CONDITIONAL COMMUNICATION: IMPROVED HIERARCHIES
    Ramesh, H.
    Rama, Raghavan
    COMPUTING AND INFORMATICS, 2008, 27 : 453 - 465
12345