Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors

Oana Agrigoroaiei, Gabriel Ciobanu. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. Electronic Notes in Theoretical Computer Science, 238(3):5-22, 2009. [doi]

@article{AgrigoroaieiC09,
  title = {Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors},
  author = {Oana Agrigoroaiei and Gabriel Ciobanu},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.010},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.010},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/AgrigoroaieiC09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {3},
  pages = {5-22},
}