Martin Korff

According to our database, Martin Korff authored at least 10 papers between 1989 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

True Concurrency = Interleaving Concurrency + Weak Conflict.

Leila Ribeiro Korff, Martin Korff

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Graph Grammars for the Specification of Concurrent Systems.

Leila Ribeiro, Martin Korff

Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.

Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

1996

Generalized graph structure grammars with applications to concurrent object-oriented systems.

Martin Korff

PhD thesis, 1996

1995

Concurrent derivations as single pushout graph grammar processes.

Martin Korff, Leila Ribeiro

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

Formal Relationship between Graph Grammars and Petri Nets.

Martin Korff, Leila Ribeiro

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993

Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.

Martin Korff

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990

Application of Graph Grammars to Rule-Based Systems.

Martin Korff

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts.

Hartmut Ehrig, Martin Korff, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).

Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe

Proceedings of the Software-Entwicklung: Konzepte, 1989