Victor Bushkov

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The PCL theorem: transactions cannot be parallel, consistent, and live
Journal of the ACM
2019-02-25Paper
Safety-liveness exclusion in distributed computing
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
2016-03-23Paper
On the liveness of transactional memory
Proceedings of the 2012 ACM symposium on Principles of distributed computing
2014-12-05Paper


Research outcomes over time


This page was built for person: Victor Bushkov