_id,doi,title
1095,10.4230/LIPIcs.CONCUR.2016.6,Local linearizability for concurrent container-type data structures