Translating mobile ambients into P systems

DOI10.1016/J.ENTCS.2007.05.001MaRDI QIDQ2864193zbMATH OpenOpenAlexWikidataFDO

Authors Aman Bogdan, Gabriel Ciobanu

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)

Recommendations

• scientific article; zbMATH DE number 1543318
• Reflecting mobile ambients into the \(\pi \)-calculus
• On the Reachability Problem in P Systems with Mobile Membranes
• Encoding mobile ambients into the \(\pi \)-calculus
• Mobile membranes with objects on surface as colored Petri nets

Cites work

• Encoding mobile ambients into the \(\pi \)-calculus
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• scientific article; zbMATH DE number 1543318 (Why is no real title available?)
• Membrane computing. An introduction.
• Mobile ambients

Cited in

(8)

• Modelling and verification of weighted spiking neural systems
• Describing the immune system using enhanced mobile membranes
• Chemical term reduction with active P systems
• On the expressiveness of the -calculus and the mobile ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• scientific article; zbMATH DE number 1543318 (Why is no real title available?)
• Rewriting logic specification of membrane systems with promoters and inhibitors
• Membrane Computing

This page was built for publication: Translating mobile ambients into P systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864193)