Yuting Chen. Platform independent analysis of probabilities on execution paths of multithreaded programs. In 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013, Niigata, Japan, June 16-20, 2013. pages 397-404, IEEE, 2013. [doi]
Abstract is missing.