Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).

Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer-Verlag, [1994], ©1994.
Description
viii, 394 pages : illustrations ; 24 cm.

Copies in the Library

Location Call Number Status
ReCAP - Remote StorageQA75.5 .G725 1994 Browse related items Request

    Details

    Subject(s)
    Related name
    Series
    Lecture notes in computer science ; 776. [More in this series]
    Contents
    • Path-Controlled Graph Grammars for Multiresolution Image Processing and Analysis / K. Aizawa and A. Nakamura
    • Syntax and Semantics of Hybrid Database Languages / M. Andries and G. Engels
    • Decomposability Helps for Deciding Logics of Knowledge and Belief / S. Arnborg
    • Extending Graph Rewriting with Copying / E. Barendsen and S. Smetsers
    • Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems / K. Barthelmann and G. Schied
    • Abstract Graph Derivations in the Double Pushout Approach / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi
    • Note on Standard Representation of Graphs and Graph Derivations / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi
    • Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine / A. Corradini and D. Wolz
    • Recognizable Sets of Graphs of Bounded Tree-Width / B. Courcelle and J. Lagergren
    • Canonical Derivations for High-Level Replacement Systems / H. Ehrig, H.-J. Kreowski and G. Taentzer.
    • A Computational Model for Generic Graph Functions / M. Gemis, J. Paredaens, P. Peelman and J. Van den Bussche
    • Graphs and Designing / E. Grabska
    • ESM Systems and the Composition of Their Computations / D. Janssens
    • Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting / Y. Kawahara and Y. Mizoguchi
    • Single Pushout Transformations of Equationally Defined Graph Structures with Applications to Actor Systems / M. Korff
    • Parallelism in Single-Pushout Graph Rewriting / M. Lowe and J. Dingel
    • Semantics of Full Statecharts Based on Graph Rewriting / A. Maggiolo-Schettini and A. Peron
    • Contextual Occurrence Nets and Concurrent Constraint Programming / U. Montanari and F. Rossi
    • Uniform-Modelling in Graph Grammar Specifications / M. Nagl
    • Set-Theoretic Graph Rewriting / J.-C. Raoult and F. Voisin
    • On Relating Rewriting Systems and Graph Grammars to Event Structures / G. Schied
    • Logic Based Structure Rewriting Systems / A. Schurr.
    • Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs / S. Smetsers, E. Barendsen, M. v. Eekelen and R. Plasmeijer
    • Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System / G. Taentzer and M. Beyer.
    ISBN
    0387577874 (alk. paper) :
    LCCN
    94000886
    OCLC
    29843582
    RCP
    C - S
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...