1 Introduction

2 Parallel Abstract Operational Semantics of CHR

3 Parallel CHR Example Programs

4 Parallel CHR with Transactions

5 Refined Parallel CHR Semantics

6 Parallel CHR Implementation in Haskell

7 Massively-Parallel Set-Based CHR Semantics

8 Parallel Hardware Implementations of CHR

9 Distribution in CHR

10 Models of Concurrency in CHR

11 Discussion and Future Work