1. On the computational power of the mate/bud/drip Brane calculus: interleaving vs. maximal parallelism;Busi,2005
2. On the computational power of Brane calculi;Busi,2005
3. Cardelli, L., 2004. Brane calculi: interactions of biological membranes. In: Danos, V., Schachter, V. (Eds.), CMSB, vol. 3082 of Lecture Notes in Computer Science, Springer, pp. 257–278.
4. An universality result for a (mem)brane calculus based on mate/drip operations;Cardelli,2005
5. The Mathematical Theory of Context. Free Languages;Ginsburg,1966