Programming P Systems with Complex Objects

DOI10.1007/978-3-642-54239-8_20MaRDI QIDQ5404858zbMATH OpenOpenAlexFDO

Authors Radu Nicolescu, Florentin Ipate, Huiling Wu

Publication date 28 March 2014

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54239-8_20

zbMATH Keywords

applicationsdata structuresP systemsNP-completerecursioncontrol flownumerical P systemsparallel compositioncomplex objectsfunction callsgeneric rules

Mathematics Subject Classification ID

Data structures (68P05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(5)

• A sublinear Sudoku solution in cP systems and its formal verification
• Towards automated deduction in cP systems
• Revising the membrane computing model for Byzantine agreement
• Formal verification of cP systems using Coq
• Formal verification of cP systems using PAT3 and ProB

This page was built for publication: Programming P Systems with Complex Objects

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