Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
47
views
0
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,662
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Graph Transformation
other
Editor(s):
Andrea Corradini
,
Hartmut Ehrig
,
Hans -Jörg Kreowski
,
Grzegorz Rozenberg
Publication date
(Online):
October 24 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
International Journal of Automation & Digital Transformation
Author and book information
Book
ISBN (Print):
978-3-540-44310-0
ISBN (Electronic):
978-3-540-45832-6
Publication date (Print):
2002
Publication date (Online):
October 24 2002
DOI:
10.1007/3-540-45832-8
SO-VID:
f9af6538-f772-486d-8b62-81909b0ce1d0
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering
pp. 6
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
pp. 8
Bigraphs as a Model for Mobile Interaction
pp. 14
Approximating the Behaviour of Graph Transformation Systems
pp. 30
Transforming Specification Architectures by GenGED
pp. 45
Decomposing Graphs with Symmetries
pp. 60
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
pp. 75
Call-by-Value λ-Graph Rewriting Without Rewriting
pp. 106
Termination Detection of Distributed Algorithms by Graph Relabelling Systems
pp. 120
Graph Transformation with Time: Causality and Logical Clocks
pp. 135
Relabelling in Graph Transformation
pp. 148
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
pp. 161
Confluence of Typed Attributed Graph Transformation Systems
pp. 177
Abstraction and Control for Shapely Nested Graph Transformation
pp. 192
Hyperedge Substitution in Basic Atom-Replacement Languages
pp. 207
Distributed Graph Transformation Units
pp. 223
Describing Policies with Graph Constraints and Rules
pp. 239
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
pp. 254
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
pp. 270
Graph-Based Reengineering of Telecommunication Systems
pp. 286
Formalising Behaviour Preserving Program Transformations
pp. 302
Unparsing of Diagrams with DiaGen
pp. 317
Linear Ordered Graph Grammars and Their Algebraic Foundations
pp. 334
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
pp. 351
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
pp. 363
GraCAD – Graph-Based Tool for Conceptual Design
pp. 378
A Formal Semantics of UML Statecharts by Model Transition Systems
pp. 393
Hierarchical Vertex Ordering
pp. 402
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
pp. 430
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates
pp. 435
TERMGRAPH 2002 Workshop Survey
pp. 440
Workshop on Graph-Based Tools
pp. 445
Workshop on Graph Transformation and Visual Modeling Techniques
pp. 450
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle
pp. 455
Workshop on Logic, Graph Transformations and Discrete Structures
Similar content
1,662
Identifying resting‐state effective connectivity abnormalities in drug‐naïve major depressive disorder diagnosis via graph convolutional networks
Authors:
Eunji Jun
,
Kyoung-Sae Na
,
Wooyoung Kang
…
A graph kernel approach for alignment-free domain–peptide interaction prediction with an application to human SH3 domains
Authors:
Kousik Kundu
,
Fabrizio Costa
,
Rolf Backofen
Assessing the green distribution transformer manufacturing process using a cloud-based q-rung orthopair fuzzy multi-criteria framework
Authors:
Zaoli Yang
,
Wen-Long Shang
,
Haoran Zhang
…
See all similar
Cited by
3
An EMOF-Compliant Abstract Syntax for Bigraphs
Authors:
Timo Kehrer
,
Christos Tsigkanos
,
Carlo Ghezzi
Efficient Graph Rewriting
Authors:
Graham Campbell
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
Authors:
Koko Muroya
,
Dan Ghica
See all cited by