Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer. Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. In Manfred Nagl, Andy Schürr, Manfred Münch, editors, Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE 99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings. Volume 1779 of Lecture Notes in Computer Science, pages 31-45, Springer, 1999. [doi]

Abstract

Abstract is missing.