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