``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic (preliminary report)

authors: E. Allen Emerson, Joseph Y. Halpern

venue (conference): Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

date: 1983

specification languages

• CTL*

keywords

(nil)

URL

• https://dx.doi.org/10.1145/567067.567081 (auto-generated link)

BibTeX

@inproceedings{2c241291-48c0-4597-b128-31fd2fa92950,
  title = {``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic (preliminary report)},
  author = {E. Allen Emerson AND Joseph Y. Halpern},
  year = {1983},
  booktitle = {Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  month = {January},
}