Run-time monitoring of concurrent programs on the Cedar multiprocessor | IEEE Conference Publication | IEEE Xplore