Emerson, E. Allen; Clarke, Edmund M. Using branching time temporal logic to synthesize synchronization skeletons. (English) Zbl 0514.68032 Sci. Comput. Program. 2, 241-266 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 72 Documents MSC: 68N25 Theory of operating systems Keywords:decision procedure; finite model property; specification formula; temporal logic specification PDF BibTeX XML Cite \textit{E. A. Emerson} and \textit{E. M. Clarke}, Sci. Comput. Program. 2, 241--266 (1982; Zbl 0514.68032) Full Text: DOI OpenURL