Theoretical Computer Science
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
Theoretical Computer Science
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Graph rewriting: an algebraic and logic approach
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Computation graphs for actor grammars
Journal of Computer and System Sciences
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990 Proceedings
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Comparison-Criteria for Semantic Data Models
Proceedings of the First International Conference on Data Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Sketching Concepts and Computational Model of TROLL light
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
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
Set theoretic approaches to graph grammars
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Structured Transformations and Computation Graphs for Actor Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Specifying Concurrent Languages and Systems with ???-Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Graph Grammars and Logic Programming
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Double-pushout hypergraph rewriting using total conformisms
Fundamenta Informaticae
| Hi-index | 0.00 |
A single pushout approach to the transformation of attributed partial graphs based on categories of partial algebras and partial morphisms is introduced. A sufficient condition for pushouts in these categories is presented. As the synchronization mechanism we use amalgamation of rules and show how synchronization can be minimized. We point out how the results obtained can be employed in order to define an operational semantics for object specification languages.