Formalizing the Development of Agent-Based Systems Using Graph Processes

Ralph Depke, Reiko Heckel. Formalizing the Development of Agent-Based Systems Using Graph Processes. In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 419-426, Springer, 2000.

@inproceedings{DepkeH00,
  title = {Formalizing the Development of Agent-Based Systems Using Graph Processes},
  author = {Ralph Depke and Reiko Heckel},
  year = {2000},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DepkeH00},
  cites = {0},
  citedby = {0},
  pages = {419-426},
  booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  editor = {Ugo Montanari and José D. P. Rolim and Emo Welzl},
  volume = {1853},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67715-1},
}