0 citations0 referencesGoogle Scholardoi.orgDesign and synthesis of synchronization skeletons using branching time temporal logicLecture notes in computer science·2005·pp. 52–71Citations Over TimeTop 1% of 2005 papersEdmund M. Clarke, E. Allen EmersonRelated Papers→ Alternating-time temporal logic(2002)313 citedTemporal and Dynamic Logic(2010)→ Reasoning about actions in dynamic linear time temporal logic(2001)42 cited→ Temporal Logic(1991)→ Handling of Past and Future with Phenesthe+(2023)