operational semantics, concurrency, rewriting, confluence, termination, task parallel processing, load balancing, work stealing, domain-specific language