_id,doi,title
1130,10.15479/at:ista:1130,Automatic synthesis of synchronisation primitives for concurrent programs