Run-time monitoring of concurrent programs on the Cedar multiprocessor. - Sanjay Sharma; Allen D. Malony; Michael W. Berry; Priyamvada Sinvhal-Sharma (SC, 1990)