Victor Bushkov

According to our database1, Victor Bushkov authored at least 6 papers between 2009 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Safety, Liveness and Parallelism in Concurrent Computing.
PhD thesis, 2015

Safety-Liveness Exclusion in Distributed Computing.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Liveness in Transactional Memory.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014
The PCL theorem: transactions cannot be parallel, consistent and live.
Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

2012
On the liveness of transactional memory.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

2009
Discussion on Supervisory Control by Solving Automata Equation
CoRR, 2009


  Loading...