HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3

Více o knize

Graph grammars emerged in the late 60s, driven by interests in pattern recognition and compiler construction. Over time, their relevance has expanded significantly, influencing various fields such as software specification, VLSI layout, database design, concurrent system modeling, parallel computer architectures, logic programming, computer animation, developmental biology, music composition, and visual languages. Graph grammars and transformations extend formal language theory and term rewriting, with graph transformation serving as a key computational paradigm encompassing specification, programming, and implementation. In the past three decades, this area has evolved into a vital and theoretically rich research domain. Volume 3 of the Handbook of Graph Grammars and Computing by Graph Transformations focuses on concurrency, parallelism, and distribution—crucial concepts in modern computer science. It addresses topics such as semantics for concurrent systems, concurrency modeling, mobile and coordinated systems, algebraic specifications, Petri nets, visual design of distributed systems, and distributed algorithms. Contributions are presented in a tutorial/survey style by leading experts in the field.