_id,doi,title 1405,10.15479/at:ista:1405,Analysis of dynamic message passing programs