Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
25
views
21
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,772
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Graph Transformation
Approximating the Behaviour of Graph Transformation Systems
other
Author(s):
Paolo Baldan
,
Barbara König
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
Most cited references
21
Record
: found
Abstract
: not found
Book
: not found
Symbolic Model Checking
Kenneth McMillan
(1993)
0
comments
Cited
168
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Petri Nets
Wolfgang Reisig
(1985)
0
comments
Cited
118
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewrite Systems
Nachum Dershowitz
,
Jean-Pierre Jouannaud
(1990)
0
comments
Cited
55
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2002
Publication date (Online):
October 24 2002
Pages
: 14-29
DOI:
10.1007/3-540-45832-8_4
SO-VID:
74c86875-7360-4293-95a5-36f0e56af148
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
2,772
Sparse Graph Regularization Non-Negative Matrix Factorization Based on Huber Loss Model for Cancer Data Analysis
Authors:
Chuan-Yuan Wang
,
Jin-Xing Liu
,
Na Yu
…
Finite element and NURBS approximations of eigenvalue, boundary-value, and initial-value problems
Authors:
Thomas J.R. Hughes
,
John A. Evans
,
Alessandro Reali
Many-particle Sudarshan-Lindblad equation: mean-field approximation, nonlinearity and dissipation in a spin system
Authors:
S. Mizrahi
,
G. A. Prataviera
See all similar
Cited by
6
Weakest Preconditions for High-Level Programs
Authors:
Annegret Habel
,
Karl-Heinz Pennemann
,
Arend Rensink
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction
Authors:
Peter Backes
,
Jan Reineke
Translating Java Code to Graph Transformation Systems
Authors:
Andrea Corradini
,
Fernando Luís Dotti
,
Luciana Foss
…
See all cited by