Capturing sound and faithful concurrent traces is essential for effective online monitoring of concurrent programs.
