{"_id":"9vkJthGGc5jtnJEoK","bibbaseid":"benton-hofmann0001-nigam-effectdependenttransformationsforconcurrentprograms-2015","downloads":0,"creationDate":"2015-12-26T13:38:16.931Z","title":"Effect-Dependent Transformations for Concurrent Programs","author_short":["Benton, N.","Hofmann 0001, M.","Nigam, V."],"year":2015,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/Benton0N15","bibdata":{"title":"Effect-Dependent Transformations for Concurrent Programs","author":["Nick Benton","Martin Hofmann 0001","Vivek Nigam"],"author_short":["Benton, N.","Hofmann 0001, M.","Nigam, V."],"bibtype":"article","type":"article","year":"2015","key":"dblp1812060","id":"dblp1812060","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/Benton0N15","url":"http://arxiv.org/abs/1510.02419","journal":"CoRR","volume":"abs/1510.02419","text":"CoRR abs/1510.02419 (2015)","bibtex":"@article{ dblp1812060,\n title = {Effect-Dependent Transformations for Concurrent Programs},\n author = {Nick Benton and Martin Hofmann 0001 and Vivek Nigam},\n author_short = {Benton, N. and Hofmann 0001, M. and Nigam, V.},\n bibtype = {article},\n type = {article},\n year = {2015},\n key = {dblp1812060},\n id = {dblp1812060},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/Benton0N15},\n url = {http://arxiv.org/abs/1510.02419},\n journal = {CoRR},\n volume = {abs/1510.02419},\n text = {CoRR abs/1510.02419 (2015)}\n}","bibbaseid":"benton-hofmann0001-nigam-effectdependenttransformationsforconcurrentprograms-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1510.02419"},"downloads":0},"search_terms":["effect","dependent","transformations","concurrent","programs","benton","hofmann 0001","nigam"],"keywords":[],"authorIDs":[],"dataSources":["4CvGbxqjyQw3RvFJ3"]}