"Compositional Static Analysis for Implicit Join Synchronization in a ..."

Thi Mai Thuong Tran, Martin Steffen, Hoang Truong (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics