On the temporal analysis of fairness

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1980, Pages 163-173

  Gabbay, Dov ^a   Pnueli, Amir ^b   Shelali, Saharon ^c   Stavi, Jonathan ^a  

^a BAR ILAN UNIVERSITY   (Israel)

^b TEL AVIV UNIVERSITY   (Israel)

^c HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DEDUCTIVE SYSTEMS; LOGIC FORMALISM; TEMPORAL ANALYSIS; TEMPORAL LANGUAGE; TEMPORAL OPERATORS;

COMPUTER PROGRAMMING;

EID: 0019112115     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/567446.567462     Document Type: Conference Paper

References (14)

1. Fischer, M. J. and R. L. Ladner: "Propositional Modal Logic of Programs", Proc. of the 9th ACM Symp. on the Theory of Computing, Boulder, Col. May (1977).
2. Gabbay, D.: "Axiomatization of Lc gic of Programs", Manuscript, Nov. (1977).
3. Gabbay, D.: "The Separation Property of tense Logics", Manuscript, Sept. (1979).
4. Gries, D.: "A Proof of Correctness of Reim's Semaphore Implementation of the with-when statement", Technical Report TR 77-314, Cornell University, Ithaca, N. Y.
5. Kamp, H. W.: "Tense Logic and the Theory of Linear Order", Ph. D. Thesis University of California, Los Angeles 1968.
6. Kamp H. W.: Completeness Results in Temporal Logic", Preprint (1978).
7. Krablin, L.: "A Temporal Analysis of Fairness", M. Sc. Thesis, University of Pennsylvania (1979)
8. Lamport, L: "Proving the Correctness of Multiprocess Programs", IEEE Trans. Software Engineering, SE-3, 7 (March 1977) pp. 125-132.
9. Lamport, L.: "Proving the Correctness of Multiprocess Programs", ACM TOPLAS, Vol. 1, No. 1 (July (1979) pp. 84-97.
10. Manna, Z., Pnueli, A.: "The Modal Logic of Programs", Int. Conference in Automata, Languages and Programming, Graz (July 1979).
11. Myers, T. J. and A. Pnueli: "The Temporal Situation Until Now", Technical Note, University of Pennsylvania (1979).
12. Pnueli, A.: "The Temporal Logic of Programs", 19th Annual Symp. on Foundations of Computer Science, Providence, R. I.
13. Pnueli, A.: "The Temporal Semantics of Concurrent Programs", Int. Symp. Semantics of Concurrent Computation, Evian, July 1979.
14. Shelah, S., J. Stavi: "Expressive Completeness for Temporal Logic", Forthcoming.