Petri nets: an introduction
Computability of Recursive Functions
Journal of the ACM (JACM)
Theoretical Computer Science
Journal of Computer and System Sciences
Well-structured transition systems everywhere!
Theoretical Computer Science
Membrane Computing: An Introduction
Membrane Computing: An Introduction
On the expressive power of movement and restriction in pure mobile ambients
Theoretical Computer Science - Special issue: Foundations of wide area network computing
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Computation: finite and infinite machines
Computation: finite and infinite machines
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
On the computational power of the mate/bud/drip brane calculus: interleaving vs. maximal parallelism
WMC'05 Proceedings of the 6th international conference on Membrane Computing
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Undecidability of Model Checking in Brane Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
| Hi-index | 0.00 |
Brane calculi are a family of biologically inspired process calculi proposed in [5] for modeling the interactions of dynamically nested membranes and small molecules. Building on the decidability of divergence for the fragment with mate, bud and drip operations in [1], in this paper we extend the decidability results to a broader class of properties and to larger set of interaction primitives. More precisely, we provide the decidability of divergence, control state maintainabiliy, inevitability and boundedness properties for the calculus with molecules and without the phago operation.