@Inproceedings{EPTCS282.6, author = {Sekerinski, Emil and Yao, Shucai}, year = {2018}, title = {Refining Santa: An Exercise in Efficient Synchronization}, editor = {Derrick, John and Dongol, Brijesh and Reeves, Steve}, booktitle = {{\rm Proceedings} 18th Refinement Workshop, {\rm Oxford, UK, 18th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {282}, publisher = {Open Publishing Association}, pages = {68-86}, doi = {10.4204/EPTCS.282.6}, }