Bookbot

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

CONCURRENCY, PARALLELISM, AND DISTRIBUTION

En savoir plus sur le livre

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.

Achat du livre

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

Langue
Année de publication
1997
Reliure
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Titre
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3
Sous-titre
CONCURRENCY, PARALLELISM, AND DISTRIBUTION
Langue
Anglais
Publié
1997
Format
rigide
Pages
455
ISBN10
981024021X
ISBN13
9789810240219
Séries
Description
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.