P systems with control nuclei: the concept

DOI10.1016/J.JLAP.2010.03.006zbMath1208.68125OpenAlexW2099028072MaRDI QIDQ987966

Camelia Chira, Gheorghe Ştefănescu, Traian-Florin Ş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

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)

Related Items (2)

From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Uses Software

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

Cites Work

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

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