Operational semantics and rewriting logic in membrane computing (2005)

by O Andrei, G Ciobanu, D Lucanu
Venue:Proceedings SOS Workshop, ENTCS