Graph transformation units with interleaving semantics. (1999)

by H J Kreowski, S Kuske
Venue:Formal Aspects of Computing