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
Stefan Arnborg:
Decomposability Helps for Deciding Logics of Knowledge and Belief.
37-50
Dirk Janssens:
ESM Systems and the Composition of Their Computations.
203-217
Martin Korff:
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.
234-264
Manfred Nagl:
Uniform-Modelling in Graph Grammar Specifications.
296-311
Georg Schied:
On Relating Rewriting Systems and Graph Grammars to Event Structures.
326-340
Andy Schürr:
Logic Based Structure Rewriting Systems.
341-357