Journals in DBLP
Michel Bauderon , Andrea Corradini Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Renate Klempien-Hinrichs Context-free hypergraph grammars with node rewriting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Manuel Koch A graph-based approach to the compositional specification of distributed systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce Graph Transformations for the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Hans-Jörg Kreowski , Giorgio Busatto , Renate Klempien-Hinrichs , Peter Knirsch , Sabine Kuske Structured Modeling with GRACE. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Sabine Kuske Parameterized Transformation Units. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Giacomo Lenzi Monadic Second Order Logic And Its Fragments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Mercè Llabrés , Francesc Rosselló Towards a Double Pushout Transformation of Algebras. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Detlef Plump Essentials of Term Graph Rewriting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Marta Simeoni An Abstract Module Concept for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Dirk Janssens Processes and Local Actions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Dan Hirsch , Ugo Montanari Two Graph-Based Techniques for Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Reiko Heckel , Gregor Engels Towards a Formal Framework for Inter-Enterprise Application Integration. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Michel Bauderon , Hélène Jacquet , Renate Klempien-Hinrichs Pullback rewriting and applications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Michel Bauderon , Yves Métivier , Mohamed Mosbah , Afif Sellami Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Paolo Baldan Concurrency for Graph Grammars in a Petri net shell. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Andrea Corradini GETGRATS: A summary of scientific results (with annotated bibliography). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Andrea Corradini , Fabio Gadducci Categorical rewriting of term-like structures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Bruno Courcelle Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Hartmut Ehrig , Annegret Habel , Francesco Parisi-Presicce Basic Results for Two Types of High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Martin Große-Rhode Algebra Transformation Systems as a Unifying Framework. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Annegret Habel , Detlef Plump Solving Equations by Graph Transformation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Gabriele Taentzer Visual Modeling of Distributed Object Systems by Graph Transformation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ]