Publication:4965810
From MaRDI portal
zbMath1457.68092arXiv1107.1200MaRDI QIDQ4965810
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1107.1200
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q07: Biologically inspired models of computation (DNA computing, membrane computing, etc.)
Related Items
Verification of membrane systems with delays via Petri nets with delays, Travelling salesman problem in tissue P systems with costs