1. O. Agrigoroaiei, G. Ciobanu, Dual P systems, in: Workshop on Membrane Computing 2008, Lecture Notes in Computer Science, vol. 5391, 2009, pp. 95–107.
2. Rewriting logic specification of membrane systems with promoters and inhibitors;Agrigoroaiei;Electron. Notes Theor. Comput. Sci.,2009
3. A. Alhazov, K. Morita, On reversibility and determinism in P systems, in: Workshop on Membrane Computing 2009, Lecture Notes in Computer Science, vol. 5957, 2010, pp. 158–168.
4. A rewriting logic framework for operational semantics of membrane systems;Andrei;Theoret. Comput. Sci.,2007
5. Predecessor existence problems for finite discrete dynamical systems;Barretta;Theoret. Comput. Sci.,2007