skip to content
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings

Author: Hans-Jürgen Schneider; Hartmut Ehrig
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 776.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congressen (vorm)
Dagstuhl (1993)
Kongress
Congresses
Congrès
Additional Physical Format: Print version:
(DLC) 94000886
(OCoLC)29843582
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hans-Jürgen Schneider; Hartmut Ehrig
ISBN: 9783540483335 3540483330
OCLC Number: 649998199
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 394 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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.
Series Title: Lecture notes in computer science, 776.
Responsibility: Hans Jürgen Schneider, Hartmut Ehrig, (eds.).

Abstract:

The research area of graph grammars and graph transformations dates back only two decades.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/649998199> # Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "649998199" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866524563#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/informatique_concourante> ; # informatique concourante
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/grammaire_graphe> ; # grammaire graphe
   schema:about <http://dewey.info/class/005.1015115/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/grammaires_de_graphes_congres> ; # Grammaires de graphes--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/compression> ; # compression
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Place/dagstuhl_1993> ; # Dagstuhl <1993>
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/graphes_theorie_des_congres> ; # Graphes, Théorie des--Congrès
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/specification> ; # spécification
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/transformation_graphe> ; # transformation graphe
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/informatique> ; # Informatique
   schema:about <http://id.worldcat.org/fast/872119> ; # Computer graphics
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/reecriture_graphe> ; # réécriture graphe
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/infographie> ; # Infographie
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/graph_grammatik> ; # Graph-Grammatik
   schema:about <http://experiment.worldcat.org/entity/work/data/866524563#Topic/computer_graphics> ; # Computer graphics
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/44144648203810481081> ; # Hans-Jürgen Schneider
   schema:contributor <http://viaf.org/viaf/91382328> ; # Hartmut Ehrig
   schema:copyrightYear "1994" ;
   schema:datePublished "1994" ;
   schema:description "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."@en ;
   schema:description "The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition."@en ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866524563> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Dagstuhl (1993)"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Congressen (vorm)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866524563#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/29843582> ;
   schema:name "Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings"@en ;
   schema:productID "649998199" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/649998199#PublicationEvent/berlin_new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866524563#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://link.springer.com/10.1007/3-540-57787-4> ;
   schema:url <http://books.google.com/books?id=OXdQAAAAMAAJ> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-57787-4> ;
   schema:url <http://dx.doi.org/10.1007/3-540-57787-4> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/29843582.html> ;
   schema:workExample <http://worldcat.org/isbn/9783540483335> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/649998199> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Place/dagstuhl_1993> # Dagstuhl <1993>
    a schema:Place ;
   schema:name "Dagstuhl <1993>" ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/649998199> ; # Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Topic/grammaires_de_graphes_congres> # Grammaires de graphes--Congrès
    a schema:Intangible ;
   schema:name "Grammaires de graphes--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Topic/graphes_theorie_des_congres> # Graphes, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Graphes, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Topic/informatique_concourante> # informatique concourante
    a schema:Intangible ;
   schema:name "informatique concourante"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Topic/reecriture_graphe> # réécriture graphe
    a schema:Intangible ;
   schema:name "réécriture graphe"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866524563#Topic/transformation_graphe> # transformation graphe
    a schema:Intangible ;
   schema:name "transformation graphe"@en ;
    .

<http://id.worldcat.org/fast/872119> # Computer graphics
    a schema:Intangible ;
   schema:name "Computer graphics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/3-540-57787-4>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/44144648203810481081> # Hans-Jürgen Schneider
    a schema:Person ;
   schema:familyName "Schneider" ;
   schema:givenName "Hans-Jürgen" ;
   schema:name "Hans-Jürgen Schneider" ;
    .

<http://viaf.org/viaf/91382328> # Hartmut Ehrig
    a schema:Person ;
   schema:familyName "Ehrig" ;
   schema:givenName "Hartmut" ;
   schema:name "Hartmut Ehrig" ;
    .

<http://worldcat.org/isbn/9783540483335>
    a schema:ProductModel ;
   schema:isbn "3540483330" ;
   schema:isbn "9783540483335" ;
    .

<http://www.worldcat.org/oclc/29843582>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/649998199> ; # Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/649998199>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/649998199> ; # Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
   schema:dateModified "2017-12-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.