A rewriting logic framework for operational semantics of membrane systems (2007)

by O Andrei, G Ciobanu, D Lucanu
Venue:Theoretical Computer Science