@article{7c1e2a3d6aad4379acd5284a9932aeb6,
title = "Formalization of Habanero phasers using Coq",
keywords = "Barriers, Coq, Formalization, Phasers, Synchronization",
author = "Tiago Cogumbreiro and Jun Shirako and Vivek Sarkar",
note = "Publisher Copyright: {\textcopyright} 2017 Elsevier Inc.",
year = "2017",
month = aug,
doi = "10.1016/j.jlamp.2017.02.006",
language = "English",
volume = "90",
pages = "50--60",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2216",
}