Translating Mobile Ambients into P Systems

DOI10.1016/j.entcs.2007.05.001zbMath1277.68162OpenAlexW2081989167WikidataQ57937205 ScholiaQ57937205MaRDI QIDQ2864193

Gabriel Ciobanu, Aman Bogdan

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

zbMATH Keywords

membrane systemsmobile ambientsoperational correspondence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Modelling and verification of weighted spiking neural systems ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ Describing the Immune System Using Enhanced Mobile Membranes

Cites Work

• Unnamed Item
• Unnamed Item
• Mobile ambients
• Membrane computing. An introduction.
• Encoding Mobile Ambients into the π-Calculus

This page was built for publication: Translating Mobile Ambients into P Systems