@article{Benavides-et-al:2017:DistributedDebuggingOfLivenessAndDatarace,
author = {L.D. Benavides and  D. Duran and C. Pimienta and H.F. Arboleda},
title = {Distributed Debugging of Liveness and Datarace Errors Using an Event Based Language},
year = {2017},
url = {http://www.etaps.org/}
}

{"_id":"qFEXwsfAeSG4cFpWG","bibbaseid":"benavides-duran-pimienta-arboleda-distributeddebuggingoflivenessanddataraceerrorsusinganeventbasedlanguage-2017","author_short":["Benavides, L.","Duran, D.","Pimienta, C.","Arboleda, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["L.D."],"propositions":[],"lastnames":["Benavides"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Duran"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Pimienta"],"suffixes":[]},{"firstnames":["H.F."],"propositions":[],"lastnames":["Arboleda"],"suffixes":[]}],"title":"Distributed Debugging of Liveness and Datarace Errors Using an Event Based Language","year":"2017","url":"http://www.etaps.org/","bibtex":"@article{Benavides-et-al:2017:DistributedDebuggingOfLivenessAndDatarace,\nauthor = {L.D. Benavides and D. Duran and C. Pimienta and H.F. Arboleda},\ntitle = {Distributed Debugging of Liveness and Datarace Errors Using an Event Based Language},\nyear = {2017},\nurl = {http://www.etaps.org/}\n}\n","author_short":["Benavides, L.","Duran, D.","Pimienta, C.","Arboleda, H."],"key":"Benavides-et-al:2017:DistributedDebuggingOfLivenessAndDatarace","id":"Benavides-et-al:2017:DistributedDebuggingOfLivenessAndDatarace","bibbaseid":"benavides-duran-pimienta-arboleda-distributeddebuggingoflivenessanddataraceerrorsusinganeventbasedlanguage-2017","role":"author","urls":{"Paper":"http://www.etaps.org/"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.icesi.edu.co/driso/wp-content/uploads/2018/08/intl-journals6.bib","dataSources":["cLee5cGK6d2PRKA97"],"keywords":[],"search_terms":["distributed","debugging","liveness","datarace","errors","using","event","based","language","benavides","duran","pimienta","arboleda"],"title":"Distributed Debugging of Liveness and Datarace Errors Using an Event Based Language","year":2017}