Simulating and model checking membrane systems using strategies in Maude
From MaRDI portal
Publication:2667188
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
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
Uses Software
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