{"_id":"QDD69i3bNztvGPreL","bibbaseid":"benton-hofmann-nigam-effectdependenttransformationsforconcurrentprograms-2015","downloads":0,"creationDate":"2016-02-09T06:00:28.924Z","title":"Effect-Dependent Transformations for Concurrent Programs.","author_short":["Benton, N.","Hofmann, M.","Nigam, V."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Vivek Krishnakumar?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-11-01T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Benton"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Hofmann"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Nigam"],"firstnames":["Vivek"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/26f46b6face7895ea5139718d8c31acfd/dblp","ee":"http://arxiv.org/abs/1510.02419","interhash":"9f39da3e8903a222d53d69b5126290cf","intrahash":"6f46b6face7895ea5139718d8c31acfd","journal":"CoRR","keywords":"dblp","timestamp":"2015-11-03T11:33:55.000+0100","title":"Effect-Dependent Transformations for Concurrent Programs.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1510.html#Benton0N15","volume":"abs/1510.02419","year":"2015","bibtex":"@article{journals/corr/Benton0N15,\n added-at = {2015-11-01T00:00:00.000+0100},\n author = {Benton, Nick and Hofmann, Martin and Nigam, Vivek},\n biburl = {http://www.bibsonomy.org/bibtex/26f46b6face7895ea5139718d8c31acfd/dblp},\n ee = {http://arxiv.org/abs/1510.02419},\n interhash = {9f39da3e8903a222d53d69b5126290cf},\n intrahash = {6f46b6face7895ea5139718d8c31acfd},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2015-11-03T11:33:55.000+0100},\n title = {Effect-Dependent Transformations for Concurrent Programs.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1510.html#Benton0N15},\n volume = {abs/1510.02419},\n year = 2015\n}\n\n","author_short":["Benton, N.","Hofmann, M.","Nigam, V."],"key":"journals/corr/Benton0N15","id":"journals/corr/Benton0N15","bibbaseid":"benton-hofmann-nigam-effectdependenttransformationsforconcurrentprograms-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1510.02419","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1510.html#Benton0N15"},"keyword":["dblp"],"downloads":0},"search_terms":["effect","dependent","transformations","concurrent","programs","benton","hofmann","nigam"],"keywords":["dblp"],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT"]}