@inproceedings{SekerinskiYao18RefiningSanta,
	series = {Electronic {Proceedings} in {Theoretical} {Computer} {Science}},
	title = {Refining {Santa}: {An} {Exercise} in {Efficient} {Synchronization}},
	volume = {282},
	url = {http://eptcs.web.cse.unsw.edu.au/content.cgi?Refine2018},
	doi = {10.4204/EPTCS.282.6},
	abstract = {The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.},
	booktitle = {Proceedings 18th {Refinement} {Workshop}, {Oxford}, {UK}, 18th {July} 2018},
	publisher = {Open Publishing Association},
	author = {Sekerinski, Emil and Yao, Shucai},
	editor = {Derrick, John and Dongol, Brijesh and Reeves, Steve},
	month = oct,
	year = {2018},
	pages = {68--86},
}

{"_id":"J4GM6ifbAGRZmAmc9","bibbaseid":"sekerinski-yao-refiningsantaanexerciseinefficientsynchronization-2018","downloads":3,"creationDate":"2019-02-02T15:48:53.573Z","title":"Refining Santa: An Exercise in Efficient Synchronization","author_short":["Sekerinski, E.","Yao, S."],"year":2018,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Electronic Proceedings in Theoretical Computer Science","title":"Refining Santa: An Exercise in Efficient Synchronization","volume":"282","url":"http://eptcs.web.cse.unsw.edu.au/content.cgi?Refine2018","doi":"10.4204/EPTCS.282.6","abstract":"The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.","booktitle":"Proceedings 18th Refinement Workshop, Oxford, UK, 18th July 2018","publisher":"Open Publishing Association","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Yao"],"firstnames":["Shucai"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Dongol"],"firstnames":["Brijesh"],"suffixes":[]},{"propositions":[],"lastnames":["Reeves"],"firstnames":["Steve"],"suffixes":[]}],"month":"October","year":"2018","pages":"68–86","bibtex":"@inproceedings{SekerinskiYao18RefiningSanta,\n\tseries = {Electronic {Proceedings} in {Theoretical} {Computer} {Science}},\n\ttitle = {Refining {Santa}: {An} {Exercise} in {Efficient} {Synchronization}},\n\tvolume = {282},\n\turl = {http://eptcs.web.cse.unsw.edu.au/content.cgi?Refine2018},\n\tdoi = {10.4204/EPTCS.282.6},\n\tabstract = {The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.},\n\tbooktitle = {Proceedings 18th {Refinement} {Workshop}, {Oxford}, {UK}, 18th {July} 2018},\n\tpublisher = {Open Publishing Association},\n\tauthor = {Sekerinski, Emil and Yao, Shucai},\n\teditor = {Derrick, John and Dongol, Brijesh and Reeves, Steve},\n\tmonth = oct,\n\tyear = {2018},\n\tpages = {68--86},\n}\n\n","author_short":["Sekerinski, E.","Yao, S."],"editor_short":["Derrick, J.","Dongol, B.","Reeves, S."],"key":"SekerinskiYao18RefiningSanta","id":"SekerinskiYao18RefiningSanta","bibbaseid":"sekerinski-yao-refiningsantaanexerciseinefficientsynchronization-2018","role":"author","urls":{"Paper":"http://eptcs.web.cse.unsw.edu.au/content.cgi?Refine2018"},"metadata":{"authorlinks":{}},"downloads":3},"search_terms":["refining","santa","exercise","efficient","synchronization","sekerinski","yao"],"keywords":[],"authorIDs":[],"dataSources":["HEdahWqKBpmSGmDwq","Nbe8oQSLcMDKvKKWt","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}