Strategic directions in concurrency research