On temporal program verification rules
RAIRO. Informatique théorique, Tome 19 (1985) no. 3, pp. 261-280. 
@article{ITA_1985__19_3_261_0,
     author = {Kr\"oger, F.},
     title = {On temporal program verification rules},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {261--280},
     publisher = {EDP-Sciences},
     volume = {19},
     number = {3},
     year = {1985},
     mrnumber = {809759},
     zbl = {0563.68007},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1985__19_3_261_0/}
}
TY  - JOUR
AU  - Kröger, F.
TI  - On temporal program verification rules
JO  - RAIRO. Informatique théorique
PY  - 1985
SP  - 261
EP  - 280
VL  - 19
IS  - 3
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1985__19_3_261_0/
LA  - en
ID  - ITA_1985__19_3_261_0
ER  - 
%0 Journal Article
%A Kröger, F.
%T On temporal program verification rules
%J RAIRO. Informatique théorique
%D 1985
%P 261-280
%V 19
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1985__19_3_261_0/
%G en
%F ITA_1985__19_3_261_0
Kröger, F. On temporal program verification rules. RAIRO. Informatique théorique, Tome 19 (1985) no. 3, pp. 261-280. http://www.numdam.org/item/ITA_1985__19_3_261_0/

1. F. Kröger, Some new aspects of the temporal logic of concurrent programs, Technical University of Munich, Institute of Informatics, Report I8311 (1983).

2. F. Kröger, A generalized nexttime operator, JCSS 29, 80-98 (1984). | MR | Zbl

3. Z. Manna and A. Pnueli, Verification of concurrent programs : The temporal framework, in : The correctness problem in computer science (R. S. Boyer and J. S. Moore, eds.), International Lecture Series in Computer Science, Academic Press, London 1981.

4. Z. Manna and A. Pnueli, Verification of concurrent programs: Temporal proof principles, in : Logics of programs, Proc. 1981, Springer LNCS 131, 200-252 (1981). | MR | Zbl

5. Z. Manna and A. Pnueli, Proving precedence properties : The temporal way, in : Proc. 10th ICALP, Springer LNCS 154, 491-512 (1983). | MR | Zbl

6. G. L. Peterson, Myths about the mutual exclusion problem, Information Processing Letters 12, 115-116 (1981). | Zbl

7. A. Pnueli, The temporal semantics of concurrent programs, Theor. Comp. Science 13, 45-60 (1981). | MR | Zbl

8. H. Schlingloff, Beweistheoretische Untersuchungen zur temporalen Logik, Diploma thesis, Technical University of Munich, Institute of Informatics (1983).

9. P. Wolper, Temporal logic can be more expressive, Proc. 22nd Symp. on Found. of Comp. Sci., Nashville, TN, 340-348 (1981).