Communication via Mobile Vesicles in Brane Calculi

DOI10.1016/j.entcs.2007.05.016zbMath1277.68212OpenAlexW1980910668WikidataQ57518555 ScholiaQ57518555MaRDI QIDQ2864206

Giancarlo Mauri, Antonio Vitale

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.016

Mathematics Subject Classification ID

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

Related Items (4)

An analysis for causal properties of membrane interactions ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Control Flow Analysis for Brane Calculi

Cites Work

• Brane Calculi
• Membrane Computing
• Unnamed Item
• Unnamed Item

This page was built for publication: Communication via Mobile Vesicles in Brane Calculi