Dagstuhl Seminar Graph Transformations in Computer Science 1993

Hans Jürgen Schneider, Hartmut Ehrig (Eds.): Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Lecture Notes in Computer Science 776 Springer 1994, ISBN 3-540-57787-4 BibTeX

@proceedings{DBLP:conf/dagstuhl/1993gtcs,
  editor    = {Hans J{\"u}rgen Schneider and
               Hartmut Ehrig},
  title     = {Graph Transformations in Computer Science, International Workshop,
               Dagstuhl Castle, Germany, January 1993, Proceedings},
  booktitle = {Dagstuhl Seminar on Graph Transformations in Computer Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {776},
  year      = {1994},
  isbn      = {3-540-57787-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Kunio Aizawa, Akira Nakamura: Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis. 1-18 BibTeX
Marc Andries, Gregor Engels: Syntax and Semantics of Hybrid Database Languages. 19-36 BibTeX
Stefan Arnborg: Decomposability Helps for Deciding Logics of Knowledge and Belief. 37-50 BibTeX
Erik Barendsen, Sjaak Smetsers: Extending Graph Rewriting with Copying. 51-70 BibTeX
Klaus Barthelmann, Georg Schied: Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. 71-85 BibTeX
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Abstract Graph Derivations in the Double Pushout Approach. 86-103 BibTeX
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. 119-137 BibTeX
Bruno Courcelle, Jens Lagergren: Recognizable Sets of Graphs of Bounded Tree-Width. 138-152 BibTeX
Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer: Canonical Derivaitons for High-Level Replacement Systems. 153-169 BibTeX
Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche: A Computational Model for Generic Graph Functions. 170-187 BibTeX
Ewa Grabska: Graphs and Designing. 188-202 BibTeX
Dirk Janssens: ESM Systems and the Composition of Their Computations. 203-217 BibTeX
Yasuo Kawahara, Yoshihiro Mizoguchi: Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. 218-233 BibTeX
Martin Korff: Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. 234-264 BibTeX
Andrea Maggiolo-Schettini, Adriano Peron: Semantics of Full Statecharts Based on Graph Rewriting. 265-279 BibTeX
Ugo Montanari, Francesca Rossi: Contextual Occurence Nets and Concurrent Constraint Programming. 280-295 BibTeX
Manfred Nagl: Uniform-Modelling in Graph Grammar Specifications. 296-311 BibTeX
Jean-Claude Raoult, Frédéric Voisin: Set-Theoretic Graph Rewriting. 312-325 BibTeX
Georg Schied: On Relating Rewriting Systems and Graph Grammars to Event Structures. 326-340 BibTeX
Andy Schürr: Logic Based Structure Rewriting Systems. 341-357 BibTeX
Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. 358-379 BibTeX
Gabriele Taentzer, Martin Beyer: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. 380-394 BibTeX