@article{WTTM2,
	author = {Vincent Gramoli and Petr Kuznetsov and Srivatsan Ravi},
	title = {Sharing a sequential data structure: correctness definition and concurrency analysis},
	journal = {4th Workshop on the Theory of Transactional Memory, Madeira, Portugal},
	
	year = {2012}
	
}

{"_id":"rsG7rjFopRoHnZ84w","bibbaseid":"gramoli-kuznetsov-ravi-sharingasequentialdatastructurecorrectnessdefinitionandconcurrencyanalysis-2012","author_short":["Gramoli, V.","Kuznetsov, P.","Ravi, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vincent"],"propositions":[],"lastnames":["Gramoli"],"suffixes":[]},{"firstnames":["Petr"],"propositions":[],"lastnames":["Kuznetsov"],"suffixes":[]},{"firstnames":["Srivatsan"],"propositions":[],"lastnames":["Ravi"],"suffixes":[]}],"title":"Sharing a sequential data structure: correctness definition and concurrency analysis","journal":"4th Workshop on the Theory of Transactional Memory, Madeira, Portugal","year":"2012","bibtex":"@article{WTTM2,\n\tauthor = {Vincent Gramoli and Petr Kuznetsov and Srivatsan Ravi},\n\ttitle = {Sharing a sequential data structure: correctness definition and concurrency analysis},\n\tjournal = {4th Workshop on the Theory of Transactional Memory, Madeira, Portugal},\n\t\n\tyear = {2012}\n\t\n} \n\n","author_short":["Gramoli, V.","Kuznetsov, P.","Ravi, S."],"key":"WTTM2","id":"WTTM2","bibbaseid":"gramoli-kuznetsov-ravi-sharingasequentialdatastructurecorrectnessdefinitionandconcurrencyanalysis-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/fb4mTQ2KaubkTMLty","dataSources":["6uTpEyWvMZSzKRZEH","xKwGgMMAbAwyJF6Sj","dSJbsyXQ4PhvMCxBn","hXWc83FjyajSdsCdG","qMBHJSSNuCWLhNTiC"],"keywords":[],"search_terms":["sharing","sequential","data","structure","correctness","definition","concurrency","analysis","gramoli","kuznetsov","ravi"],"title":"Sharing a sequential data structure: correctness definition and concurrency analysis","year":2012}