book chapterLecture notes in computer scienceJan 1, 2004Closed access

A Temporal Logic of Nested Calls and Returns

RARajeev AlurKEKousha EtessamiPMP. Madhusudan

California University of Pennsylvania · University of Edinburgh

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

3,337
total citations
FWCI
202.89
Percentile
100%
References
38
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Correctness
  • Model checking
  • Temporal logic
  • Computer science
  • Linear temporal logic
  • Decidability
  • Undecidable problem
  • Theoretical computer science
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.