Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey. Design and Verification of Distributed Phasers. In Pierre-François Dutot, Denis Trystram, editors, Euro-Par 2016: Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. Volume 9833 of Lecture Notes in Computer Science, pages 405-418, Springer, 2016. [doi]
Abstract is missing.