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

by Claudia Ermel , Gabriele Taentzer , Roswitha 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
Citations:4 - 3 self