Simulating and model checking membrane systems using strategies in Maude

DOI10.1016/J.JLAMP.2021.100727MaRDI QIDQ2667188zbMATH OpenOpenAlexWikidataFDO

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

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

Maudemembrane computingmodel checkingrewriting strategies

Mathematics Subject Classification ID

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

Recommendations

• Membrane Systems and Their Application to Systems Biology
• Formal verification of P systems with active membranes through model checking
• On the decidability of model-checking for P systems
• Unconventional Computation
• Rewriting logic specification of membrane systems with promoters and inhibitors

Cites work

• A kernel P systems survey
• A rewriting logic framework for operational semantics of membrane systems
• An integrated model checking toolset for kernel P systems
• Computation in networks of passively mobile finite-state sensors
• Computation with finite stochastic chemical reaction networks
• Conditional rewriting logic as a unified model of concurrency
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• Membrane Computing
• Membrane computing. An introduction.
• Model checking strategy-controlled rewriting systems
• P Systems with String Objects and with Communication by Request
• Parameterized strategies specification in Maude
• Rewriting logic specification of membrane systems with promoters and inhibitors
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Simulating P systems on GPU devices: a survey
• Strategies, model checking and branching-time properties in Maude
• Strategy-based proof calculus for membrane systems
• The Maude LTL model checker
• The mu-calculus and Model Checking
• “Sometimes” and “not never” revisited

Cited in

(5)

• Metalevel transformation of strategies
• The Maude strategy language
• An Overview of the Maude Strategy Language and its Applications
• Towards a general methodology for formal verification on spiking neural P systems
• Formal analysis of real-time systems with user-defined strategies in rewriting logic

Describes a project that uses

Uses Software

• P-Lingua
• Maude
• Stratego

This page was built for publication: Simulating and model checking membrane systems using strategies in Maude

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667188)