Discussion on Supervisory Control by Solving Automata Equation - Victor Bushkov; Nina Yevtushenko 001; Tiziano Villa (CoRR, 2009)

On the liveness of transactional memory. - Victor Bushkov; Rachid Guerraoui; Michal Kapalka (PODC, 2012)

The PCL theorem: transactions cannot be parallel, consistent and live. - Victor Bushkov; Dmytro Dziuma; Panagiota Fatourou; Rachid Guerraoui (SPAA, 2014)

Liveness in Transactional Memory. - Victor Bushkov; Rachid Guerraoui (Transactional Memory, 2015)

Safety-Liveness Exclusion in Distributed Computing. - Victor Bushkov; Rachid Guerraoui (PODC, 2015)

Safety, Liveness and Parallelism in Concurrent Computing. - Victor Bushkov (2015)