Some Directions in Concurrency Theory