Sound Concurrent Traces for Online Monitoring Technical Report
The authors present a non-blocking vector clock algorithm to collect sound concurrent traces on the fly, addressing the challenge of monitoring concurrent programs online. They emphasize the importance of capturing necessary orderings in traces for effective monitoring.
