Mateusz Smolinski Resolving classical concurrency problems using adaptive conflictless scheduling. 397-402 2017 INISTA https://doi.org/10.1109/INISTA.2017.8001193 conf/inista/2017 db/conf/inista/inista2017.html#Smolinski17