View of Synthesis of concurrent programs | Teaching Mathematics and Computer Science