Membrane Computing
From MaRDI portal
Publication:5901886
DOI10.1007/b95207zbMath1202.68204OpenAlexW2282613654MaRDI QIDQ5901886
Silvano Dal Zilio, Enrico Formenti
Publication date: 15 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95207
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Decidability of Termination Problems for Sequential P Systems with Active Membranes ⋮ A Petri net model for membrane systems with dynamic structure ⋮ On the verification of membrane systems with dynamic structure ⋮ Properties of enhanced mobile membranes via coloured Petri nets ⋮ A Biologically Inspired Model with Fusion and Clonation of Membranes ⋮ Verification of membrane systems with delays via Petri nets with delays ⋮ Processes of membrane systems with promoters and inhibitors ⋮ A Hybrid Approach to Modeling Biological Systems ⋮ On the Dynamics of PB Systems with Volatile Membranes
This page was built for publication: Membrane Computing
