Sign in

A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications.

Jens KosiolGabriele Taentzer
Published in: J. Log. Algebraic Methods Program. (2023)
Keyphrases