Static analysis of concurrent programs by adapted vector clock. - Maryam Zakeryfar; Peter Grogono (C3S2E, 2013)