Programming P Systems with Complex Objects

DOI10.1007/978-3-642-54239-8_20zbMath1407.68102OpenAlexW174955221MaRDI QIDQ5404858

Huiling Wu, Florentin Ipate, Radu Nicolescu

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

applicationsrecursiondata structuresNP-completeP systemscontrol flownumerical P systemsparallel compositioncomplex objectsfunction callsgeneric rules

Mathematics Subject Classification ID

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

Related Items (5)

A sublinear Sudoku solution in cP systems and its formal verification ⋮ Formal verification of cP systems using Coq ⋮ Towards automated deduction in cP systems ⋮ Revising the Membrane Computing Model for Byzantine Agreement ⋮ Formal verification of cP systems using PAT3 and ProB

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