Author:
Cerone Andrea,Gotsman Alexey,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Cerone, A., Gotsman, A., Yang, H.: Parameterised linearisability (extended version),
http://software.imdea.org/~gotsman/
2. Filipovic, I., O’Hearn, P.W., Rinetzky, N., Yang, H.: Abstraction for concurrent objects. Theor. Comput. Sci. 411(51-52) (2010)
3. Ghica, D.R., Murawski, A.S.: Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Logic 151(2-3) (2008)
4. Lecture Notes in Computer Science;A. Gotsman,2011
5. Gotsman, A., Yang, H.: Linearizability with ownership transfer. Logical Methods in Computer Science 9 (2013)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Compositional Theory of Linearizability;Journal of the ACM;2024-04-12
2. A Compositional Theory of Linearizability;Proceedings of the ACM on Programming Languages;2023-01-09
3. C4: verified transactional objects;Proceedings of the ACM on Programming Languages;2022-04-29
4. Strict Linearizability and Abstract Atomicity;International Journal of Foundations of Computer Science;2021-01
5. Specifying concurrent programs in separation logic: morphisms and simulations;Proceedings of the ACM on Programming Languages;2019-10-10