| H.J. Schneider. Describing distributed systems by categorial graph grammars. In 15th International Workshop on Graph-theoretic Concepts in Computer Science, volume 411 of Lecture Notes in Computer Science, pages 121--135. Springer Verlag, 1990. |
....proofs of such systems. The algebraic approach [2,3,4,5] has been worked out for several years and provides interesting results for parallelism analysis [6,7] efficient evaluation of functional expressions [8,9] and logic programs [10] synchronization mechanisms [11] distributed systems [11,12,13,5], object oriented systems [14] applied software systems [15] implementation of abstract data types [16] and context free hyperedge replacement [17] see also [18] in this book) Historically, the first of the algebraic approaches to graph transformation is the so called double pushout (DPO) ....
H.J. Schneider. Describing distributed systems by categorial graph grammars. In 15th International Workshop on Graph-theoretic Concepts in Computer Science, volume 411 of Lecture Notes in Computer Science, pages 121--135. Springer Verlag, 1990.
....or reestablish synchrony according to the definition proposed in this paper. 1 Introduction Graphs and graph transformations have been used to model different kinds of parallel and distributed systems. See, for example, the approaches of Degano and Montanari [3] Ehrig et.al. 5] Schneider [14], Goering [8] Kaplan et.al. 10] Janssens and Rozenberg [9] Ehrig and Lowe [7] Schied [13] Korff [11] etc. In [5] and [7] the algebraic approach is used to model concepts of concurrency and distribution. In this framework graphs correspond to states of a system and graph transformations to ....
H. J. Schneider. Describing distributed systems by categorial graph grammars. In 15th International Workshop on Graph-theoretic Concepts in Computer Science. Springer Lecture Notes on Computer Science, 1989.
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