Traces, dependency graphs and DNLC grammars
We point out the use of graph grammars for specifying (generating) languages of dependency graphs that arise in theoretical studies of concurrent systems.
scientific article; zbMATH DE number 3970120
scientific article