P systems with control nuclei: the concept

DOI10.1016/J.JLAP.2010.03.006zbMATH Open1208.68125OpenAlexW2099028072MaRDI QIDQ987966FDOQ987966

Authors: Camelia Chira, Gh. Ştefănescu, Traian Şerbănuţă 

Publication date: 24 August 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.006

Recommendations

• Membrane Systems with External Control
• On Controlled P Systems
• Simulating R Systems by P Systems
• scientific article; zbMATH DE number 1860702
• P Systems with Adjoining Controlled Communication Rules

zbMATH Keywords

P systemscontrol nucleiK rewrite-based frameworkmodeling cell growth

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cell biology (92C37)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An overview of the K semantic framework
• Computing with membranes
• A quick introduction to membrane computing
• The conformon-P system: a molecular and cell biology-inspired computability model
• Defining and Executing P Systems with Structured Data in K
• Interactive systems with registers and voices
• Expressing Control Mechanisms of Membranes by Rewriting Strategies

Cited In (3)

• Simulation and verification of synchronous set relations in rewriting logic
• Membrane Systems with External Control
• From rewriting logic, to programming language semantics, to program verification

Uses Software

• Maude
• Agapia
• K tool
• K Prover
• KOOL

This page was built for publication: P systems with control nuclei: the concept

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