图文法及图像转换计算手册，卷三

作者简介

Presents the research on concurrency, parallelism, and distribution, important paradigms of modern computer science.  Topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, and Petri nets. DLC: Graph grammars.

书籍目录

Preface1  Graph Relabelling Systems and Distributed Algorithms （I Litovsky et al.）   1.1 Introduction  1.2 Graphs  1.3 First Examples     1.3.1   Sequential Computation OF a Spanning Tree     1.3.2  Distributed Computation OF a Spanning Tree Without Local Detection OF the Global Termination     1.3.3  Distributed Computation OF a Spanning Tree With Lo-cal Detection of the Global Termination   1.4  Graph Relabelling Systems     1.4.1  Labelled Graphs     1.4.2  Graphs Relabelling Systems     1.4.3  Local Control Mechanisms   1.5  Proof Techniques     1.5.1  The Graph Relabelling System R1     1.5.2  The Graph Relabelling System with Priorities R2     1.5.3  The Graph Relabelling System with Forbidden Con-texts R3   1.6  Local Comprtations     1.6.1  Definions      1.6.2  Definions Comprtations of Local Comprtations   1.7  Coverings and K-Coverings     1.7.1  Coverings and K-Coverings     1.7.2  The Kronecker Product      1.7.3  K-Coverings     1.7.4  Local Computations and K-Coverings   1.8  The Election Problem     1.8.1  Examples     1.8.2  Election Without any Knowledge     1.8.3  Election Knowledge the Size or the Topology   1.9  The Recognition Problem     1.9.1  Examples     1.9.2  Recognition Without any Knowledgy     1.9.3  Recognition knowing the size     1.9.4  Double k-Covering Technique      1.9.5  Minors     1.9.6  Comparison with Logical Languages   1.10  The Termination Detection Problem     1.10.1  The Local Detection of the Global Termination     1.10.2  Applications of K-Coverings to Termination Detection     1.10.3  Quasi k-Coverings and Local Detection OF Normal Forms:the Case of T-Prime Graphs     1.10.4  Comparison with Other Problems   References2  Actor Grammars and Local Actions （D Janssens）   2.1 Introduction  2.2  Actir Grammars and ESM Systems    2.2.1  Actor Grammars and ESM Systems    2.2.2  ESM Systems  2.3  Processes     2.3.1  Basic Primciples    2.3.2  Statoc Structures    2.3.3  Local Operations    2.3.4  Dynamic Structure and Processes    2.3.5  The Computed Structure OF a Process  ……3  Concurrent Semantics of Algebraic Graph Transformations （P Baldan et al.） 4  Modeling Concurrent, Mobile and Coordinated Systems via Graph 5  Transformations （U Montanari et al.） 6  Distributed Graph Transformation with Application to Visual 7  Design of Distributed Systems （I Fischer et al.） 8  High-Level Replacement Systems Applied to Algebraic 9  Specifications and Petri Nets （H Ehrig et al.） 10  Describing Systems of Processes by Means of High-Level 11  Replacement （H J Schneider）

 图文法及图像转换计算手册，卷三下载