Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation (2005)

by C Ermel, G Taentzer, R Bardohl
Venue:Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, volume 3393 of LNCS