Computing with graph rewriting systems with priorities

A Sight-seeing Tour of the Computational Landscape of Graph Transformation

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]

Termination Detection of Distributed Algorithms by Graph Relabelling Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation

A New Rewrite Method for Convergence of Self-Stabilizing Systems

Proceedings of the 13th International Symposium on Distributed Computing

A sight-seeing tour of the computational landscape of graph transformation

Formal and natural computing

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages

Distributed Computing

GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

Fundamenta Informaticae