Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions

Dorel Lucanu. Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. Electronic Notes in Theoretical Computer Science, 237:107-125, 2009. [doi]

@article{Lucanu09,
  title = {Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions},
  author = {Dorel Lucanu},
  year = {2009},
  doi = {10.1016/j.entcs.2009.03.038},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.03.038},
  tags = {semantics, rule-based,  action semantics, graph-rewriting, rules, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/Lucanu09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {237},
  pages = {107-125},
}