Free Access
RAIRO. Inform. théor.
Volume 19, Number 3, 1985
Page(s) 261 - 280
Published online 01 February 2017
  1. 1. F. KRÖGER, Some new aspects of the temporal logic of concurrent programs, Technical University of Munich, Institute of Informatics, Report I8311 (1983). [Google Scholar]
  2. 2. F. KRÖGER, A generalized nexttime operator, JCSS 29, 80-98 (1984). [MR: 761053] [Zbl: 0551.68032] [Google Scholar]
  3. 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. [Google Scholar]
  4. 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: 663759] [Zbl: 0481.68019] [Google Scholar]
  5. 5. Z. MANNA and A. PNUELI, Proving precedence properties : The temporal way, in : Proc. 10th ICALP, Springer LNCS 154, 491-512 (1983). [MR: 727678] [Zbl: 0528.68008] [Google Scholar]
  6. 6. G. L. PETERSON, Myths about the mutual exclusion problem, Information Processing Letters 12, 115-116 (1981). [Zbl: 0474.68031] [Google Scholar]
  7. 7. A. PNUELI, The temporal semantics of concurrent programs, Theor. Comp. Science 13, 45-60 (1981). [MR: 593863] [Zbl: 0441.68010] [Google Scholar]
  8. 8. H. SCHLINGLOFF, Beweistheoretische Untersuchungen zur temporalen Logik, Diploma thesis, Technical University of Munich, Institute of Informatics (1983). [Google Scholar]
  9. 9. P. WOLPER, Temporal logic can be more expressive, Proc. 22nd Symp. on Found. of Comp. Sci., Nashville, TN, 340-348 (1981). [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.