Signaling P systems and verification problems

DOI10.1007/11523468_118MaRDI QIDQ5716768zbMATH OpenOpenAlexFDO

Authors Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen, Cheng Li

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11523468

zbMATH Keywords

Diophantine equationsmembrane computingP systemssignaling systemssymbolic model checkingverification

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the verification of membrane systems with dynamic structure
• On sequential and 1-deterministic P systems
• Unconventional Computation
• scientific article; zbMATH DE number 1860702
• On the decidability of model-checking for P systems

Cited in

(7)

• Computing using signals: from cells to \(P\) systems
• Decidability of termination problems for sequential P systems with active membranes
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• scientific article; zbMATH DE number 1066972 (Why is no real title available?)
• Executable specifications of P systems
• On the Dynamics of PB Systems with Volatile Membranes
• On the verification of membrane systems with dynamic structure

This page was built for publication: Signaling P systems and verification problems

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