book chapterLecture notes in computer scienceJul 31, 2008Closed access

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

EMEdmund M. ClarkeEAE. Allen Emerson

Harvard University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,073
total citations
FWCI
72.27
Percentile
100%
References
18
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Synchronization (alternating current)
  • Temporal logic
  • Abstraction
  • Critical section
  • Skeleton (computer programming)
  • Theoretical computer science
  • Branching (polymer chemistry)
No related works found for this paper.