Confluent Rewrite Relations, dynamic logic, graph rewriting, Hoare logic, Overlapping Rewrite Systems, Parallel Rewriting, program verification.