An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing

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