Runtime verification of concurrency-specific correctness criteria.

Shaz Qadeer Serdar Tasiran Runtime verification of concurrency-specific correctness criteria. 291-305 2012 14 STTT 3 http://dx.doi.org/10.1007/s10009-011-0210-1 db/journals/sttt/sttt14.html#QadeerT12