An equivalence result for temporal logic

Authors:
Stephen C. Dewhurst
Affiliations:
Providence, RI
Venue:
ACM SIGPLAN Notices
Year:
1981

Citing 2
Cited 0

On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract