1 paper
Ivaylo Hristakiev, Detlef Plump
The graph programming language GP 2 allows to apply sets of rule schemata (or "attributed" rules) non-deterministically. To analyse conflicts of programs statically, graphs labelle…