book chapterLecture notes in computer scienceNov 19, 2005Closed access

Design and synthesis of synchronization skeletons using branching time temporal logic

EMEdmund M. ClarkeEAE. Allen Emerson

Harvard University · Harvard University Press

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

2,153
total citations
FWCI
94.09
Percentile
100%
References
14
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Temporal logic
  • Correctness
  • Model checking
  • Linear temporal logic
  • Synchronization (alternating current)
  • Programming language
  • Theoretical computer science
No related works found for this paper.