D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Princ. of Prog. Lang., pages 163-173, 1980. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Completeness and Complexity of Bounded Model Checking - Clarke, Kroening.. (2004) (2 citations) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Princ. of Prog. Lang., pages 163-173, 1980.
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proceedings of the Seventh Annual Symposium on Principles of Programming Languages, pages 163--173. ACM Press, 1980. 70
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL - Flake (2004) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the Temporal Analysis of Fairness. In 7th ASM Symposium on Principles of Programming Languages (POPL'80), pages 163-- 173. ACM Press, January 1980.
A Hierarchical Completeness Proof for Interval Temporal Logic.. - Moszkowski (2003) (1 citation) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Seventh Annual ACM Symposium on Principles of Programming Languages, pages 163--173, 1980.
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
No context found.
Gabbay D, Pnueli A, Shelah S, Stavi J. The temporal analysis of fairness. In: Conference record of the seventh annual ACM symposium on principles of programming languages, ACM, 1980, pp 163--173
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (5 citations) (Correct)
No context found.
Dov Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 163-173, Las Vegas, Nevada, 1980.
The Application of a Resource Logic to the Non-Temporal Analysis.. - Hayman (2003) (Correct)
No context found.
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 163--173. ACM Press, 1980.
TEMPORAL LOGICS OF COMPUTATIONS - Introductory course - Goranko (2000) (Correct)
No context found.
D.M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symposium on Principles of Programming Languages, pages 163--173, 1980.
The Completeness Threshold for Bounded Model Checking - Clarke, Kroening.. (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Princ. of Prog. Lang., pages 163-173, 1980.
On the Completeness of Propositional Raw TLA - Merz (1997) (Correct)
No context found.
Dov Gabbay, Amir Pnueli, S. Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 163--173. ACM, 1980.
Expressive Completeness of Duration Calculus - Rabinovich (2001) (4 citations) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah and J. Stavi. On the temporal analysis of fairness. In 7th ACM Symp. on Principles of Prog. Lang., pp. 163-173, 1980.
Specifying and Verifying the Game Cluedo Using Temporal Logics of.. - Dixon (2004) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163-173, Las Vegas, Nevada, January 1980.
An Algorithm for Guiding Temporal Resolution - Gago, Fisher, Dixon (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the 7th ACM Symposium on the Principles of Programming Languages, pages 163--173, Las Vegas, Nevada, January 1980.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Gabbay, D., Pnueli, A., Shelah, S., and Stavi, J. (1980). On the temporal analysis of fairness. In Proc. 7th ACM Symposium on Principles of Programming Languages, pages 163--173. ACM Press.
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (2 citations) (Correct)
No context found.
D. M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Principles of Programming Languages (POPL'80), pages 163-173, 1980.
An Infinite Hierarchy of Temporal Logics over Branching Time - Rabinovich, Maoz (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah and J. Stavi. On the temporal analysis of fairness. 7th ACM Symp. on Principles of Prog. Lang., pp. 163-173, 1980.
Conditional XPath, the first order complete XPath dialect - Marx (2004) (Correct)
No context found.
D.M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symposium on Principles of Programming Languages, pages 163--173, 1980.
Future Temporal Logic Needs in Finitely Many Modalities - Hirshfeld, Rabinovich (2003) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah and J. Stavi. On the Temporal Analysis of Fairness. In the 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, pp. 163-173, 1980.
Focus Games for Satisfiability and Completeness of Temporal.. - Martin Lange Colin (2001) (1 citation) (Correct)
No context found.
Gabbay, D., Pnueli, A., Shelah, S., and Stavi, J. (1980). The temporal analysis of fairness. Procs. 7th ACM Symp. on Principles of Programming Languages, 163-173.
Complete Axiomatizations for Reasoning about Knowledge.. - Halpern, Van Der Meyden, .. (1999) (7 citations) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi, On the temporal analysis of fairness, in Proc. 7th ACM Symp. on Principles of Programming Languages, 1980, pp. 163--173.
On Translating Linear Temporal Logic into Alternating and.. - Tauriainen (2003) (3 citations) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proceedings of the 7th Annual Symposium on Principles of Programming Languages (POPL 1980.
BTL2 and expressive completeness for ECTL+ - Rabinovich, Schnoebelen (2000) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Principles of Programming Languages (POPL'80), Las Vegas, NV, USA, Jan. 1980, pages 163-173, 1980.
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
No context found.
Gabby, D., A. Pnueli, A. Shelah and J. Stavi, The temporal analysis of fairness, in: Proceedings of 7th Ann. ACM Sympos. on Principle on Programming Languages, 1980, pp. 163-167.
A Sound and Complete Proof System for QPTL - French, Reynolds (Correct)
No context found.
D. M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In 7th ACM Symp. on Princ. of Prog. Languages, Las Vegas, pages 163-173, 1980.
Using Temporal Logics of Knowledge in the Formal.. - Dixon, Gago.. (2003) (1 citation) (Correct)
No context found.
D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163--173, Las Vegas, Nevada, January 1980.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC