_id,doi,title
2445,10.1007/978-3-642-39799-8_68,Efficient synthesis for concurrency by semantics-preserving transformations