 | 1998 |
|---|
| 8 |       | Leila Ribeiro Korff,
Martin Korff:
True Concurrency = Interleaving Concurrency + Weak Conflict.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 7 |  | Hartmut Ehrig,
Reiko Heckel,
Martin Korff,
Michael Löwe,
Leila Ribeiro,
Annika Wagner,
Andrea Corradini:
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Handbook of Graph Grammars 1997: 247-312 |
| 1995 |
|---|
| 6 | | Martin Korff,
Leila Ribeiro:
Concurrent derivations as single pushout graph grammar processes.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1994 |
|---|
| 5 | | Martin Korff,
Leila Ribeiro:
Formal Relationship between Graph Grammars and Petri Nets.
TAGT 1994: 288-303 |
| 1993 |
|---|
| 4 | | Martin Korff:
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 234-264 |
| 1990 |
|---|
| 3 | | Hartmut Ehrig,
Martin Korff,
Michael Löwe:
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts.
Graph-Grammars and Their Application to Computer Science 1990: 24-37 |
| 2 | | Martin Korff:
Application of Graph Grammars to Rule-Based Systems.
Graph-Grammars and Their Application to Computer Science 1990: 505-519 |
| 1989 |
|---|
| 1 | | Hartmut Ehrig,
Ingo Claßen,
Paul Boehm,
Werner Fey,
Martin Korff,
Michael Löwe:
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).
Software-Entwicklung 1989: 201-224 |
