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

Martin Korff. Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. In Hans Jürgen Schneider, Hartmut Ehrig, editors, Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Volume 776 of Lecture Notes in Computer Science, pages 234-264, Springer, 1993.

Abstract

Abstract is missing.