Programmable and parallel water computing

DOI10.1007/S41965-022-00114-5zbMath1518.68109MaRDI QIDQ6177125

Thomas Hinze, Michael J. Dinneen, Alec Henderson, Hendrik Happe, TN Chan, Radu Nicolescu

Publication date: 29 August 2023

Published in: Journal of Membrane Computing (Search for Journal in Brave)

zbMATH Keywords

PRAMmembrane systemswater-based computingfluidicsRAM machine

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On separating the EREW and CREW PRAM models
• Tissue P systems.
• Computing with membranes
• An introduction to \(\mathrm{cP}\) systems
• Time bounded random access machines
• Formal verification of cP systems using PAT3 and ProB
• Membrane computing with water
• Simulation challenges in membrane computing
• Turing completeness of water computing
• Formal verification of cP systems using Coq
• An Integrated Approach to P Systems Formal Verification
• Relations between Concurrent-Write Models of Parallel Computation
• A web-based visual simulator for spiking neural P systems
• Matrix representation and simulation algorithm of numerical spiking neural P systems

This page was built for publication: Programmable and parallel water computing