Simulating and model checking membrane systems using strategies in Maude

DOI10.1016/j.jlamp.2021.100727OpenAlexW3207599545WikidataQ123905800 ScholiaQ123905800MaRDI QIDQ2667188

Isabel Pita, Rubén Rubio, Alberto Verdejo, Narciso Martí-Oliet

Publication date: 24 November 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100727

zbMATH Keywords

model checkingmembrane computingrewriting strategiesMaude

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items

Metalevel transformation of strategies, The Maude strategy language

Uses Software

• Stratego
• Maude
• P-Lingua

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A rewriting logic framework for operational semantics of membrane systems
• Computation with finite stochastic chemical reaction networks
• Conditional rewriting logic as a unified model of concurrency
• Membrane computing. An introduction.
• Parameterized strategies specification in Maude
• Strategies, model checking and branching-time properties in Maude
• Computation in networks of passively mobile finite-state sensors
• An Integrated Model Checking Toolset for Kernel P Systems
• Simulating P Systems on GPU Devices: A Survey
• The mu-calculus and Model Checking
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• “Sometimes” and “not never” revisited
• Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
• Strategy-Based Proof Calculus for Membrane Systems
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Membrane Computing
• A Kernel P Systems Survey
• P Systems with String Objects and with Communication by Request