A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Loewe  Home/Search
Context Related
| di.unipi.it/pub/techrep...TR9617.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hypatia.dcs.qmw.ac.uk/au...biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper have been developed within the ESPRIT Working Groups COMPUGRAPH (1989-1992) and COMPU61 C A B A+B in (Update)
Cited by: More
Validation of Model Transformations - First Experiences.. - Jochen Uster And (Correct)
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone, al. (2002) (Correct)
Active bibliography (related documents): More All
3.5: Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996) (Correct)
1.8: Computing by Graph Transformation II (COMPUGRAPH II) - Ehrig, (eds.) (1996) (Correct)
0.8: Towards Synchronous and Asynchronous Graph Transformations - Taentzer (1996) (Correct)
Similar documents based on text: More All
0.7: Graph Transformation with Time: Causality and Logical Clocks - Gyapay, Heckel, Varro (2002) (Correct)
0.7: Towards Graph Transformation with Time - Gyapay, Heckel (2002) (Correct)
0.3: Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (Correct)
Related documents from co-citation: More All
16: Handbook of Graph Grammars and Computing by Graph Transformation (context) - Rozenberg - 1997
15: Handbook of Graph Grammars and Computing by Graph Transformation (context) - Ehrig, Kreowski et al. - 1999
11: Introduction to the algebraic theory of graph grammars (context) - Ehrig
BibTeX entry: (Update)
Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Michael Lowe, Ugo Montanari, and Francesca Rossi. Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In Grzegorz Rozenberg, editor, Handbook of Graph Rewriting. Vol. I: Foundations. World Scientific, 1996. To appear. http://citeseer.ist.psu.edu/corradini96algebraic.html More
@incollection{ corradini97algebraic,
author = "Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and L\"owe, Michael and Ribeiro, Leila and Wagner, Anika",
title = "Algebraic Approaches to Graph Transformation - Part {I}: {S}ingle Pushout Approach and Comparison with Double Pushout Approach",
booktitle = "Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations",
publisher = "World Scientific",
editor = "Rozenberg, G.",
pages = "247--312",
year = "1997",
url = "citeseer.ist.psu.edu/corradini96algebraic.html" }
Citations (may not include all citations):562 Categories for the working mathematician (context) - Lane - 1971
139 An introduction to event structures (context) - Winskel - 1989
116 Introduction to the Algebraic Theory of Graph Grammars (context) - Ehrig - 1979
47 Petri Nets are Monoids (context) - Meseguer, Montanari - 1990
47 Abstract and Concrete Categories (context) - Adamek, Herrlich et al. - 1990
47 Hyperedge Replacement Graph Grammars (context) - Drewes, Kreowski - 1996
45 Graph-grammars: an algebraic approach (context) - Ehrig, Pfender et al. - 1973
43 Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996
40 Algebraic approach to single-pushout graph transformation (context) - Lowe - 1993
39 Parallelism and Concurrency in High-Level Replacement System.. (context) - Ehrig, Habel et al. - 1991
37 Tutorial introduction to the algebraic approach of graphgram.. (context) - Ehrig - 1987
34 An algebraic semantics for structured transition systems and.. (context) - Corradini, Montanari - 1992
32 Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989
25 EACTS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
24 Implementing Term Rewriting by Jungle Evaluation - Hoffmann, Plump - 1991
22 volume 643 of Lecture Notes in Computer Science (context) - Habel, Grammars - 1992
22 Ensuring consistency of conditional graph grammars -- a cons.. - Heckel, Wagner - 1995
20 A categorical manifesto - Goguen - 1991
20 Algebraic Approaches to Graph Transformation II: Single Push.. (context) - Ehrig, Heckel et al. - 1996
18 Hyperedge Replacement Jungle Rewriting for Term Rewriting Sy.. (context) - Corradini, Rossi - 1993
16 An event structure semantics for safe graph grammars (context) - Corradini, Ehrig et al. - 1994
15 techniques and results for high-level replacement systems in.. (context) - Ehrig, Lowe - 1993
15 Hypergraph Rewriting: Critical Pairs and Undecidability of C.. (context) - Plump - 1993
15 On termination of graph rewriting (context) - Plump - 1995
12 Towards the Unification of Models for Concurrency (context) - Ferrari, Montanari - 1990
11 True Concurrency Semantics for Single Pushout Graph Transfor.. (context) - Korff - 1994
10 Amalgamation of graph transformations: a synchronization mec.. (context) - Bohm, Fonio et al. - 1987
10 Attributed graph transformations with controlled application.. (context) - Heckel, Muller et al. - 1995
10 Manipulation von Graphmanipulationen (context) - Kreowski - 1977
10 The basic algebraic structures in categories of derivations (context) - Benson - 1975
9 Single pushout transformations of equationally defined graph.. (context) - Korff - 1994
9 Distributed parallelism of graph transformation (context) - Ehrig, Bohm et al. - 1988
8 An Event Structure Semantics for Graph Grammars with Paralle.. (context) - Corradini, Ehrig et al. - 1996
8 The Category of Typed Graph Grammars and their Adjunction wi.. (context) - Corradini, Ehrig et al. - 1996
8 On relating rewriting systems and graph grammars to event st.. - Schied - 1994
6 Graph-interpreted graph transformations for concurrent objec.. (context) - Korff - 1995
6 Extended algebraic graph transformation (context) - Lowe - 1990
6 Programmed Graph Replacement Systems (context) - Schuerr - 1996
5 Concurrent Derivations as Single Pushout Graph Grammar Proce.. - Korff, Ribeiro - 1995
5 Canonical derivations for high-level replacement systems (context) - Ehrig, Kreowski et al. - 1994
5 Critical pair analysis in single-pushout graph rewriting (context) - Lowe, Muller - 1995
5 Specification techniques using dynamic abstract data types a.. (context) - Ehrig, Bardohl - 1994
4 Implementing algebraic specifications by graph transformatio.. (context) - Lowe - 1990
4 Generalized graph structure grammars with applications to ob.. (context) - Korff - 1995
2 Describing distributed systems by categorial graph grammars (context) - Schneider - 1990
2 Part 2: Non-sequential processes in graph grammars (context) - Kreowski, Wilharm et al. - 1987
2 Horizontal and Vertical Structuring of Graph Transformation .. (context) - Heckel, Corradini et al. - 1996
2 Graph grammars and operational semantics (context) - Padawitz - 1982
1 A categorical model for logic programs (context) - Corradini, Asperti
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/author/MontanariUG/biblio.html):
History-Dependent Automata - Montanari, Pistore (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC