skip to content
Graph transformations : third international conference, ICGT 2006 Preview this item
ClosePreview this item
Checking...

Graph transformations : third international conference, ICGT 2006

Author: Andrea Corradini
Publisher: Berlin : Springer, 2006.
Series: Lecture notes in computer science, 4178.
Edition/Format:   Print book : Conference publication : Fiction : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations, ICGT 2006. All current aspects in graph drawing are addressed including graph theory and  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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Fiction, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrea Corradini
ISBN: 9783540388708 3540388702
OCLC Number: 225129916
Notes: International conference proceedings.
Electronic book available via Springer Link.
Description: xii, 472 pages : illustrations ; 24 cm.
Details: Also available on the World Wide Web.
Contents: Invited Papers.- Nested Quantification in Graph Transformation Rules.- Idioms of Logical Modelling.- New Algorithms and Applications of Cyclic Reference Counting.- New Graph Transformation Models.- Sesqui-Pushout Rewriting.- Automata on Directed Graphs: Edge Versus Vertex Marking.- Conflict Detection for Graph Transformation with Negative Application Conditions.- Adaptive Star Grammars.- Structure Manipulation.- Narrowing Data-Structures with Pointers.- Molecular Analysis of Metabolic Pathway with Graph Transformation.- Matrix Approach to Graph Transformation: Matching and Sequences.- String Generating Hypergraph Grammars with Word Order Restrictions.- Borrowed Contexts and Adhesive Categories.- Composition and Decomposition of DPO Transformations with Borrowed Context.- Process Bisimulation Via a Graphical Encoding.- Toposes Are Adhesive.- Extensions for Distributed and Global Computing.- Graph Transactions as Processes.- Categorical Foundations of Distributed Graph Transformation.- Dynamic Graph Transformation Systems.- Autonomous Units and Their Semantics - The Sequential Case.- Software Engineering Methods and Tools.- Termination Analysis of Model Transformations by Petri Nets.- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.- Temporal Graph Queries to Support Software Evolution.- On the Use of Alloy to Analyze Graph Transformation Systems.- Model-Driven Development.- Non-materialized Model View Specification with Triple Graph Grammars.- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.- Model View Management with Triple Graph Transformation Systems.- Efficient Implementation.- Graph Transformation in Constant Time.- GrGen: A Fast SPO-Based Graph Rewriting Tool.- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.- Heuristic Search for the Analysis of Graph Transition Systems.- Logics.- Satisfiability of High-Level Conditions.- Weakest Preconditions for High-Level Programs.- Tutorial and Workshops.- Introductory Tutorial on Foundations and Applications of Graph Transformation.- Workshop on Graph Computation Models.- Workshop on Graph-Based Tools.- Workshop on Petri Nets and Graph Transformations.- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
Series Title: Lecture notes in computer science, 4178.
Other Titles: ICGT 2006
Responsibility: Andrea Corradini [and others] (eds.).
More information:

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/225129916> # Graph transformations : third international conference, ICGT 2006
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "225129916" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3758506833#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/946582> ; # Graph grammars
    schema:about <http://dewey.info/class/511.5/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3758506833#Thing/graph_transformations> ; # Graph transformations
    schema:about <http://id.loc.gov/authorities/subjects/sh85056470> ; # Graph grammars
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/3758506833#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/3758506833#Thing/icgt> ; # ICGT
    schema:alternateName "ICGT 2006" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/120023336> ; # Andrea Corradini
    schema:creator <http://experiment.worldcat.org/entity/work/data/3758506833#Meeting/icgt_2006_2006_natal_brazil> ; # ICGT 2006 (2006 : Natal, Brazil)
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3758506833> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Fiction"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Graph transformations : third international conference, ICGT 2006"@en ;
    schema:productID "225129916" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/225129916#PublicationEvent/berlin_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3758506833#Agent/springer> ; # Springer
    schema:url <http://catdir.loc.gov/catdir/toc/fy0710/2006931633.html> ;
    schema:url <http://www.springerlink.com/content/978-3-540-38870-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540388708> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA684678> ;
    umbel:isLike <http://d-nb.info/980792541> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/225129916> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3758506833#Place/natal_brazil> # Natal, Brazil)
    a schema:Place ;
    schema:name "Natal, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3758506833#Thing/graph_transformations> # Graph transformations
    a schema:Thing ;
    schema:name "Graph transformations" ;
    .

<http://id.loc.gov/authorities/subjects/sh85056470> # Graph grammars
    a schema:Intangible ;
    schema:name "Graph grammars"@en ;
    .

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

<http://id.worldcat.org/fast/946582> # Graph grammars
    a schema:Intangible ;
    schema:name "Graph grammars"@en ;
    .

<http://viaf.org/viaf/120023336> # Andrea Corradini
    a schema:Person ;
    schema:birthDate "1960" ;
    schema:familyName "Corradini" ;
    schema:givenName "Andrea" ;
    schema:name "Andrea Corradini" ;
    .

<http://worldcat.org/isbn/9783540388708>
    a schema:ProductModel ;
    schema:isbn "3540388702" ;
    schema:isbn "9783540388708" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/225129916> ; # Graph transformations : third international conference, ICGT 2006
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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