default search action
GETGRATS Closing Workshop 2001: Bordeaux, France
- Michel Bauderon, Andrea Corradini:
GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001. Electronic Notes in Theoretical Computer Science 51, Elsevier 2001 - Andrea Corradini
:
GETGRATS: A summary of scientific results (with annotated bibliography). 1-64 - Paolo Baldan:
Concurrency for Graph Grammars in a Petri net shell. 65-82 - Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs:
Pullback rewriting and applications. 83-92 - Michel Bauderon, Yves Métivier, Mohamed Mosbah
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. 93-107 - Andrea Corradini
Categorical rewriting of term-like structures. 108-121 - Bruno Courcelle:
Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. 122-126 - Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems. 127-138 - Reiko Heckel, Gregor Engels:
Towards a Formal Framework for Inter-Enterprise Application Integration. 139-151 - Martin Große-Rhode:
Algebra Transformation Systems as a Unifying Framework. 152-164 - Annegret Habel, Detlef Plump:
Solving Equations by Graph Transformation. 165-176 - Dan Hirsch, Ugo Montanari:
Two Graph-Based Techniques for Software Architecture Reconfiguration. 177-190 - Dirk Janssens:
Processes and Local Actions. 191-201 - Renate Klempien-Hinrichs:
Context-free hypergraph grammars with node rewriting. 202-211 - Manuel Koch:
A graph-based approach to the compositional specification of distributed systems. 212-221 - Manuel Koch, Luigi V. Mancini
Graph Transformations for the Specification of Access Control Policies. 222-232 - Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
Structured Modeling with GRACE. 233-245 - Sabine Kuske:
Parameterized Transformation Units. 246-257 - Giacomo Lenzi
Monadic Second Order Logic And Its Fragments. 258-264 - Mercè Llabrés
Towards a Double Pushout Transformation of Algebras. 265-276 - Detlef Plump:
Essentials of Term Graph Rewriting. 277-289 - Marta Simeoni:
An Abstract Module Concept for Graph Transformation Systems. 290-303 - Gabriele Taentzer:
Visual Modeling of Distributed Object Systems by Graph Transformation. 304-318 - Michel Bauderon, Andrea Corradini
Preface. 319
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: