A new solution of Dijkstra's concurrent programming problem | Synapse