Bookbot

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

CONCURRENCY, PARALLELISM, AND DISTRIBUTION

Maggiori informazioni sul libro

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.

Acquisto del libro

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3, Hartmut Ehrig

Lingua
Pubblicato
1997
Rilegatura
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Titolo
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3
Sottotitolo
CONCURRENCY, PARALLELISM, AND DISTRIBUTION
Lingua
Inglese
Pubblicato
1997
Formato
Copertina rigida
Pagine
455
ISBN10
981024021X
ISBN13
9789810240219
Serie
Descrizione
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.