Specialization of Concurrent Guarded Multi-set Transformation Rules

Thom W. Frühwirth. Specialization of Concurrent Guarded Multi-set Transformation Rules. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 133-148, Springer, 2004. [doi]

@inproceedings{Fruhwirth04,
  title = {Specialization of Concurrent Guarded Multi-set Transformation Rules},
  author = {Thom W. Frühwirth},
  year = {2004},
  doi = {10.1007/11506676_9},
  url = {http://dx.doi.org/10.1007/11506676_9},
  tags = {rule-based, rules, transformation},
  researchr = {https://researchr.org/publication/Fruhwirth04},
  cites = {0},
  citedby = {0},
  pages = {133-148},
  booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers},
  editor = {Sandro Etalle},
  volume = {3573},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26655-0},
}