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