Synchronization Algebras with Mobility for Graph Transformations

Ivan Lanese, Ugo Montanari. Synchronization Algebras with Mobility for Graph Transformations. Electronic Notes in Theoretical Computer Science, 138(1):43-60, 2005. [doi]

@article{LaneseM05:0,
  title = {Synchronization Algebras with Mobility for Graph Transformations},
  author = {Ivan Lanese and Ugo Montanari},
  year = {2005},
  doi = {10.1016/j.entcs.2005.05.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.05.004},
  tags = {synchronization, graph transformation, graph-rewriting,  algebra, rewriting, transformation},
  researchr = {https://researchr.org/publication/LaneseM05%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {138},
  number = {1},
  pages = {43-60},
}