Search
	Quantitative relaxation of concurrent data structures Henzinger T., Kirsch C., Payer H., Sezgin A., Sokolova A.  POPL 2013 (Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, Jan 23-25, 2013)317-328,2013.Type:Proceedings       Use your personal or institutional subscription to read the fulltext of the article.               You can purchase an article without having a subscription.
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy