Translating Mobile Ambients into P Systems
From MaRDI portal
Publication:2864193
DOI10.1016/j.entcs.2007.05.001zbMath1277.68162WikidataQ57937205 ScholiaQ57937205MaRDI QIDQ2864193
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors, Modelling and verification of weighted spiking neural systems, Describing the Immune System Using Enhanced Mobile Membranes, On the Expressiveness of the π-Calculus and the Mobile Ambients
Cites Work