_id,doi,title
1070,10.4230/LIPIcs.ICALP.2016.98,Computation tree logic for synchronization properties