Cyclic Graphs, graph rewriting, guarded commands, Multigraphs, nondeterminism, operational semantics, path orderings, rewrite orderings, termination.
