Richard Carlsson Konstantinos F. Sagonas Jesper Wilhelmsson Message analysis for concurrent programs using message passing. 715-746 2006 28 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1146813 db/journals/toplas/toplas28.html#CarlssonSW06