1. Executable specifications of the P systems;Andrei;Lecture Notes in Computer Science,2005
2. A structural operational semantics of the P systems;Andrei;Lecture Notes in Computer Science,2006
3. Operational semantics and rewriting logic in membrane computing;Andrei;Electronic Notes of Theoretical Computer Science,2006
4. Term-rewriting systems with rule priorities;Baeten;Theoretical Computer Science,1989
5. J.-P. Banatre, D. Le Metayer, A new computational model and its discipline of programming, INRIA Research Report No. 566, 1986