Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation

Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl. Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Volume 3393 of Lecture Notes in Computer Science, pages 64-83, Springer, 2005. [doi]

Abstract

Abstract is missing.