Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Fundamenta Informaticae - Special issue on graph transformations
Institutions for logic programming
Theoretical Computer Science - Special issue: algebraic development techniques
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Concurrent Graph and Term Graph Rewriting
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Towards the Unification of Models for Concurrency
CAAP '90 Proceedings of the 15th Colloquium on Trees in Algebra and Programming
A 2-Categorical Presentation of Term Graph Rewriting
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science
Unfolding semantics of graph transformation
Information and Computation
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
ICGT'06 Proceedings of the Third international conference on Graph Transformations
| Hi-index | 0.00 |
The development of a denotational framework for graph transformation systems proved elusive so far. Despite the existence of many formalisms for modelling various notions of rewriting, the lack of an explicit, algebraic notion of "term" for describing a graph (thus different from the usual view of a graph as an algebra in itself) frustrated the efforts of the researchers. Resorting to the theory of institutions, the paper introduces a model for the operational semantics of graph transformation systems specified according to the so-called double-pullback approach.