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
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Some recent results concerning deterministic p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
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
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
Asynchronous p systems and p systems working in the sequential mode
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Hi-index | 0.00 |
Brane calculi are a family of biologically inspired process calculi proposed in [L. Cardelli. Brane Calculi - Interactions of biological membranes. In Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082, Springer, 2005] for modeling the interactions of dynamically nested membranes. In [L. Cardelli. Brane Calculi - Interactions of biological membranes. In Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082, Springer, 2005] a basic calculus for membranes interactions - called Phago/Exo/Pino (PEP) - is proposed, whose primitives are inspired by endocytosis and exocytosis. An alternative basic calculus - called Mate/Bud/Drip (MBD) and inspired by membrane fusion and fission - is also outlined and shown to be encodable in Phago/Exo/Pino in [L. Cardelli. Brane Calculi - Interactions of biological membranes. In Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082, Springer, 2005]. In this paper we survey some results on the comparison of the expressivity of the PEP and the MBD calculi, w.r.t. their ability to act as computational devices.