Resolution of challenges in concurrent programming