The category of typed graph grammars and its adjunctions with categories of derivations-Reference-Cited by-同舟云学术

The category of typed graph grammars and its adjunctions with categories of derivations

Published:1996 Issue: Volume: Page:56-74
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Corradini A.,Ehrig H.,Löwe M.,Montanari U.,Padberg J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61228-9_79

Reference15 articles.

1. M. A. Bednarcsyk: Categories of asynchronous systems, Ph.D. Thesis, University of Sussex, Report no. 1/88, 1988.

2. A. Corradini, H. Ehrig, M. Löwe, U. Montanari and F. Rossi: Abstract Graph Derivations in the Double-Pushout Approach, LNCS 776, Springer-Verlag, 1994, 86–103.

3. A. Corradini, H. Ehrig, M. Löwe, U. Montanari and F. Rossi: An Event Structure Semantics for Safe Graph Grammars, in Proc. IFIP Conf. PROCOMET'94 (Conference Edition), San Miniato, Italy, 1994.

4. P.P. Chen: The Entity-Relationship Model: Toward a Unified View of Data, ACM Transactions on Database Systems, 1(1):9–36, 1976.

5. I. Claßen, M. Löwe: Scheme Evolution in Object-Oriented Models: A Graph Transformation Approach, to appear Proc. Workshop on Formal Methods at the ICSE'95, Seattle (U.S.A.), 1995.

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Amalgamation of domain specific languages with behaviour;Journal of Logical and Algebraic Methods in Programming;2017-01

2. Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars;Theoretical Computer Science;2015-08

3. Behaviour Protection in Modular Rule-Based System Specifications;Recent Trends in Algebraic Development Techniques;2013

4. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts;Applications of Graph Transformations with Industrial Relevance;2008

5. Shaped Generic Graph Transformation;Applications of Graph Transformations with Industrial Relevance;2008