Aleksandar Nanevski

1. Specifying and Verifying Concurrent Algorithms with Histories and\n Subjectivity
   2014/10/01 by Ilya Sergey, Aleksandar Nanevski, Sergey, Ilya +3 · 1 voice
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Parallel Computing and Optimization Techniques
2. Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
   2015/09/21 by Ilya Sergey, Aleksandar Nanevski, Sergey, Ilya +5 · 1 voice
   Computer Science · #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL