A road map of interval temporal logics and duration calculi

Journal of Applied Non-Classical Logics

Volumn 14, Issue 1-2, 2004, Pages 9-54

  Goranko, Valentin ^a   Montanari, Angelo ^b   Sciavicco, Guido ^b  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Axiomatic system; Decidability; Duration calculus; Expressiveness; Interval temporal logic

Indexed keywords

EID: 21444445324     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.14.9-54     Document Type: Article

References (116)

1. [Aab 85] Aaby A., Narayana K., "Propositional Temporal Interval Logic Is Pspace Complete", Proc. Of 9Th International Conference On Automated Deduction, Vol. 193 Of Lncs, Springer, 1985, P. 218-237.
2. [Ahm 93] Ahmed M., Venkatesh G., "A Propositional Dense Time Logic (Based On Nested Sequences)", Proc. Of Tapsoft, 1993, P. 584-598.
3. [All 83] Allen J., "Maintaining Knowledge About Temporal Intervals", Communications Of The Acm, Vol. 26, Num. 11, 1983, P. 832-843.
4. [All 85] Allen J., Hayes P., "A Common-Sense Theory Of Time", Proc. Of The 9Th International Joint Conference On Artificial Intelligence, Morgan Kaufmann, 1985, P. 528-531.
5. [All 94] Allen J., Ferguson G., "Actions And Events In Interval Temporal Logic", Journal Of Logic And Computation, Vol. 4, Num. 5, 1994, P. 531-579.
6. [Bar 97] Barua R., Chaochen Z., "Neighbourhood Logics: Nl And Nl 2", Report Num. 120, 1997, Unu/Iist, Macau.
7. [Bar 00] Barua R., Roy S., Chaochen Z., "Completeness Of Neighbourhood Logic", Journal Of Logic And Computation, Vol. 10, Num. 2, 2000, P. 271-295.
8. [Bee 89] Van Beek P., "Approximation Algorithms For Temporal Reasoning", Proc. Of The 11Th International Joint Conference On Artificial Intelligence, Morgan Kaufmann, 1989, P. 1291-1296.
9. [Ben 91] Benthem J. V., The Logic Of Time (2Nd Edition), Kluwer Academic Press, 1991.
10. [Bla 01] Blackburn P., De Rijke M., Venema V., Modal Logic, Vol. 53 Of Cambridge Tracts In Theoretical Computer Science, Cambridge Univ. Press, 2001.
11. [Bow 98] Bowman H., Thompson S., "A Tableau Method For Interval Temporal Logic With Projection", Proc. Of The International Conference Tableaux 1998, Num. 1397 Lncs, Springer, 1998, P. 108-134.
12. [Bow 00] Bowman H., Cameron H., King P., Thompson S., "Specification And Prototyping Of Structured Multimedia Documents Using Interval Temporal Logic", Barringer H., Fisher M., Gabbay D., G.Gough, Eds., Advances In Temporal Logic, Vol. 16 Of Applied Logic, Kluwer Academic, 2000, P. 435-453.
13. [Bow 03] Bowman H., Thompson S., "A Decision Procedure And Complete Axiomatization Of Finite Interval Temporal Logic With Projection", Journal Of Logic And Computation, Vol. 13, Num. 2, 2003, P. 195-239.
14. [Bur 82] Burgess J., "Axioms For Tense Logic Ii. Time Periods", Notre Dame Journal Of Formal Logic, Vol. 23, Num. 4, 1982, P. 375-383.
15. [Cam 96] Campos S., Grumberg O., "Selective Quantitative Analysis And Interval Model Checking: Verifying Different Facets Of A System", Alur R., Henzinger T., Eds., Proc. Of The 8Th International Conference On Computer Aided Verification, Num. 1102 Lncs, Springer, 1996, P. 257-268. (Pubitemid 126101286)
16. [Cha 85] Chandra A., Halpern J., Meyer A., Parikh R., "Equations Between Regular Terms And An Application To Process Logic", Siamjournal On Computing, Vol. 14, Num. 4, 1985, P. 935-942. (Pubitemid 15584988)
17. [Cha 91] Chaochen Z., Hoare C., Ravn A. P., "A Calculus Of Durations", Information Processing Letters, Vol. 40, Num. 5, 1991, P. 269-276.
18. [Cha 93A] Chaochen Z., Hansen M., Sestoft P., "Decidability And Undecidability Results For Duration Calculus", Proc. Of The 10Th Symposium On Theoretical Aspects Of Computer Science, Num. 665 Lncs, Springer, 1993, P. 58-68.
19. [Cha 93B] Chaochen Z., Ravn A. P., Hansen M. R., "An Extended Duration Calculus For Real-Time Systems", Hybrid Systems, Num. 736 Lncs, P. 36-59, Springer, 1993.
20. [Cha 94] Chaochen Z., Xiaoshan L., "A Mean Value Calculus Of Durations", Roscoe A. W., Ed., A Classical Mind: Essays In Honour Of C.A.R. Hoare, P. 431-451, Prentice Hall International Series In Computer Science, 1994.
21. [Cha 95] Chaochen Z., Hung D. V., Xiaoshan L., "A Duration Calculus With Infinite Intervals", Reichel H., Ed., Fundamentals Of Computation Theory, Num. 965 Lncs, Springer-Verlag, 1995, P. 16-41.
22. [Cha 98] Chaochen Z., Hansen M. R., "An Adequate First Order Interval Logic", De Roever W., Langmaak H., Pnueli A., Eds., Compositionality: The Significant Difference, Num. 1536 Lncs, Springer, 1998, P. 584-608.
23. [Cha 99] Chaochen Z., "Duration Calculus, A Logical Approach To Real-Time Systems", Proc. Of The Annual Conference Of The European Association For Computer Science Logic, Num. 1548 Lncs, Springer, 1999, P. 1-7.
24. [Cha 04] Chaochen Z., Hansen M. R., Duration Calculus. A Formal Approach To Real- Time Systems, Eatcs Series Of Monographs In Theoretical Computer Science, Springer, 2004.
25. [Che 00] Chetcuti-Serandio N., Del Cerro L. F., "A Mixed Decision Method For Duration Calculus", Journal Of Logic And Computation, Vol. 10, Num. 6, 2000, P. 877-895. (Pubitemid 32085587)
26. [Chi 00] Chittaro L., Montanari A., "Temporal Representation And Reasoning In Artificial Intelligence: Issues And Approaches", Annals Of Mathematics And Artificial Intelligence, Vol. 28, Num. 1-4, 2000, P. 47-106.
27. [Dil 92A] Dillon L., Kutty G., Moser L. E., Melliar-Smith P., Ramakrishna Y. S., "Graphical Specifications For Concurrent Software Systems", Proc. Of The 14Th International Conference On Software Engineering, Acm Press, 1992, P. 214-224. (Pubitemid 23575671)
28. [Dil 92B] Dillon L., Kutty G., Moser L., Melliar-Smith P. M., Ramakrishna Y., "An Automata-Theoretic Decision Procedure For Future Interval Logic", Shyamasundar R., Ed., Proc. Of The 12Th Foundations Of Software Technology And Theoretical Computer Science, Vol. 652 Of Lncs, Springer, 1992, P. 51-67.
29. [Dil 93] Dillon L., Kutty G., Moser L., Melliar-Smith P. M., Ramakrishna Y., "A Real-Time Interval Logic And Its Decision Procedure", Proc. Of The 13Th Conference On Foundations Of Software Technology And Theoretical Computer Science, Vol. 761 Of Lncs, Springer, 1993, P. 173-192.
30. [Dil 94A] Dillon L., Kutty G., Moser L., Melliar-Smith P. M., Ramakrishna Y., "A Graphical Interval Logic For Specifying Concurrent Systems", Acm Transactions On Software Engineering And Methodology, Vol. 3, Num. 2, 1994, P. 131-165.
31. [Dil 94B] Dillon L., Melliar-Smith P., Moser L., Kutty G., Ramakrishna Y., "Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next", Fundamenta Informaticae, Vol. 21, 1994, P. 257-305.
32. [Dil 94C] Dillon L., Melliar-Smith P., Moser L., Kutty G., Ramakrishna Y., "First-Order Future Interval Logic", Proc. Of The First Internationalconference On Temporal Logic, Bonn, Germany, Vol. 827 Of Lncs, Springer, 1994, P. 195-209.
33. [Dil 95] Dillon L., Melliar-Smith P., Moser L., Kutty G., Ramakrishna Y., "Axiomatizations Of Interval Logics", Fundamenta Informaticae, Vol. 24, Num. 4, 1995, P. 313-331.
34. [Dil 96A] Dillon L., Melliar-Smith P., Moser L., Kutty G., Ramakrishna Y., "Interval Logics And Their Decision Procedures. Part I: An Interval Logic", Theoretical Computer Science, Vol. 166, Num. 1-2, 1996, P. 1-47. (Pubitemid 126412021)
35. [Dil 96B] Dillon L., Melliar-Smith P., Moser L., Kutty G., Ramakrishna Y., "Interval Logics And Their Decision Procedures. Part Ii: A Real-Time Interval Logic", Theoretical Computer Science, Vol. 170, Num. 1-2, 1996, P. 1-46. (Pubitemid 126411628)
36. [Dow 79] Dowty D., Word Meaning And Montague Grammar, Reidel, Dordrecht, 1979.
37. [Dua 96] Duan Z., "An Extended Interval Temporal Logic And A Framing Technique For Temporal Logic Programming", Phd Thesis, University Of Newcastle Upon Tyne, 1996.
38. [Dut 95A] Dutertre B., "Complete Proof Systems For First Order Interval Temporal Logic", Proc. Of The 10Th International Symposium On Logic In Computer Science, 1995, P. 36-43.
39. [Dut 95B] Dutertre B., "On First Order Interval Temporal Logic", Report Num. Csd-Tr- 94-3, 1995, Royal Holloway, University Of London.
40. [Frä; 96] Frä;Nzle M., "Controller Design From Temporal Logic: Undecidability Need Not Matter", Dissertation, Technische Fakultä;T Der Christian-Albrechts-Universitä;T Kiel, Germany, 1996, Available As Bericht Nr. 9710, Institut Fü;R Informatik Und Praktische Mathematik, Christian-Albrechts-Universitä;T Kiel, June 1997, And Via Www Under Url http://Ca.Informatik.Uni-Oldenburg.De/-Fraenzle/Diss.Ps.Gz.
41. [Frä; 98] Frä;Nzle M., "Model-Checking Dense-Time Duration Calculus", Hansen M., Ed., Duration Calculus: A Logical Approach To Real-Time Systems. Workshop Proceedings Of The 10Th European Summer School In Logic, Languages And Information (Esslli X), Saarbrü;Cken, Germany, August 1998. Final Version To Appear In A Special Issue Of Bcs Facs, 2004., 1998.
42. [Fra 02A] Franceschet M., "Dividing And Conquering The Layered Land", Phd Thesis, Department Of Mathematics And Computer Science, University Of Udine, Italy, 2002, Phd Thesis Series Cs 2002/2.
43. [Frä; 02B] Frä;Nzle M., "Take It Np-Easy: Bounded Model Construction For Duration Calculus", Olderog E.-R., Damm W., Eds., Proc. Of The International Symposium On Formal Techniques In Real-Time And Fault-Tolerant Systems (Ftrtft 2002), Vol. 2469 Of Lncs, Springer, 2002, P. 245-264.
44. [Gab 94] Gabbay D., Hodkinson I., Reynolds M., Temporal Logic, Vol. 1: Mathematical Foundations And Computational Aspects, Oxford Science Publications, 1994.
45. [Gab 00] Gabbay D., Reynolds M., Finger M., Temporal Logic, Vol. 2: Mathematical Foundations And Computational Aspects, Oxford Science Publications, 2000.
46. [Gal 90] Galton A., "A Critical Examination Of Allen's Theory Of Action And Time", Artificial Intelligence, Vol. 42, 1990, P. 159-198.
47. [Gar 93] Gargov G., Goranko V., "Modal Logics With Names", Journal Of Philosophical Logic, Vol. 22, Num. 6, 1993, P. 607-636.
48. [Gor 03A] Goranko V., Montanari A., Sciavicco G., "A General Tableau Method For Propositional Interval Temporal Logics", Proc. Of The International Conference Tableaux 2003, Lnai, Springer, 2003, P. 102-116. (Pubitemid 37230926)
49. [Gor 03B] Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Temporal Logics", Journal Of Universal Computer Science, Vol. 9, Num. 9, 2003, P. 1137-1167. (Pubitemid 41151447)
50. [Gue 98] Guelev D., "A Calculus Of Durations On Abstract Domains: Completeness And Extensions", Report Num. 139, 1998, Unu/Iist, Macau.
51. [Gue 00A] Guelev D. P., "A Complete Fragment Of Higher-Order Duration Μ-Calculus", Proc. Of The 20Th Conference On Foundations Of Software Technology And Theoretical Computer Science, Vol. 1974 Of Lncs, 2000.
52. [Gue 00B] Guelev D., "A Complete Proof System For First Order Interval Temporal Logic With Projection", Report Num. 202, 2000, Unu/Iist, Macau.
53. [Gue 00C] Guelev D., "Interpolation And Related Results On The P-Fragment Of Dc With Iteration", Report Num. 203, 2000, Unu/Iist, Macau.
54. [Gue 00D] Guelev D., "Probabilistic Neighbourhood Logic", Proc. Of The 6Th International Symposium On Formal Techniques In Real-Time And Fault-Tolerant Systems, Vol. 1926 Of Lncs, Springer, 2000, P. 264-275.
55. [Gue 02] Guelev D. P., Hung D. V., "Prefix And Projection Onto State In Duration Calculus", Proceedings Of The 1St Workshop On The Theory And Practice Of Timed Systems, Vol. 65(6) Of Electronic Notes In Theoretical Computer Science, Elsevier Science, 2002.
56. [Gue 03] Guelev D., Hung D. V., "Projection Onto State In Duration Calculus: Relative Completeness", Report Num. 269, 2003, Unu/Iist, Macau.
57. [Hal 83] Halpern J., Manna Z., Moszkowski B., "A Hardware Semantics Based On Temporal Intervals", Proc. Of The 10Th International Colloquium On Automata, Languages And Programming, Num. 154 Lncs, Springer, 1983, P. 278-291. (Pubitemid 14633968)
58. [Hal 91] Halpern J., Shoham Y., "A Propositional Modal Logic Of Time Intervals", Journal Of The Acm, Vol. 38, Num. 4, 1991, P. 935-962.
59. [Ham 72] Hamblin C., "Instants And Intervals", Fraser J., Haber F., Mueller G., Eds., The Study Of Time (Volume 1), Springer, 1972, P. 324-331.
60. [Han 92] Hansen M. R., Chaochen Z., "Semantics And Completeness Of Duration Calculus", De Bakker J., Huizing C., De Roever W., Rozenberg G., Eds., Real-Time: Theory In Practice, Num. 600 Lncs, Springer, 1992, P. 209-225.
61. [Han 94] Hansen M., "Model-Checking Discrete Duration Calculus", Formal Aspects Of Computing, Vol. 6, Num. 6A, 1994, P. 826-845.
62. [Han 97] Hansen M., Chaochen Z., "Duration Calculus: Logical Foundations", Formal Aspects Of Computing, Vol. 9, 1997, P. 283-330. (Pubitemid 127524208)
63. [Hop 79] Hopcroft J., Ullman J., Introduction To Automata Theory, Languages, And Computation, Addison-Wesley, 1979.
64. [Hum 79] Humberstone L., "Interval Semantics For Tense Logics: Some Remarks", Journal Of Philosophical Logic, Vol. 8, 1979, P. 171-196.
65. [Hun 99A] Hung D. V., "Projections: A Technique For Verifying Real-Time Programs In Duration Calculus", Report Num. 178, 1999, Unu/Iist, Macau.
66. [Hun 99B] Hung D. V., Chaochen Z., "Probabilistic Duration Calculus For Continuous Time", Formal Aspects Of Computing, Vol. 11, Num. 1, 1999, P. 21-44. (Pubitemid 129555805)
67. [Hun 99C] Hung D. V., Guelev D., "Completeness And Decidability Of A Fragment Of Duration Calculus With Iteration", Thiagarajan P., Yap R., Eds., Advances In Computing Science, Vol. 1742 Of Lncs, Springer-Verlag, 1999, P. 139-150.
68. [Hun 02] Hung D. V., "Real-Time Systems Development With Duration Calculus: An Overview", Report Num. 255, 2002, Unu/Iist, Macau.
69. [Huo 02] Huong H. V., Hung D. V., "Modelling Real-Time Database Systems In Duration Calculus", Report Num. 260, 2002, Unu/Iist, Macau.
70. [Kam 79] Kamp H., "Events, Instants And Temporal Reference", Bä;Uerle R., Egli U., Von Stechov A., Eds., Semantics From Different Points Of View, Springer, 1979, P. 376- 417.
71. [Kon 92] Kono S., "Automatic Verification Of Interval Temporal Logic", Proceedings Of The 8Th British Colloquium For Theoretical Computer Science, 1992.
72. [Kon 95] Kono S., "A Combination Of Clausal And Non-Clausal Temporal Logic Programs", Fisher M., Owens R., Eds., Executable Modal And Temporal Logics, Num. 897 Lncs, Springer, 1995, P. 40-57.
73. [Lad 87] Ladkin P., "The Logic Of Time Representation", Phd Thesis, University Of California, Berkeley, 1987.
74. [Lod 00] Lodaya K., "Sharpening The Undecidability Of Interval Temporal Logic", Proc. Of 6Th Asian Computing Science Conference, Num. 1961 Lncs, Springer, 2000, P. 290-298.
75. [Mad 92] Maddux R., "Relation Algebras Of Every Dimension", Journal Of Symbolic Logic, Vol. 57, Num. 4, 1992, P. 1213-1229.
76. [Mar 97] Marx M., Venema Y., Multi-Dimensional Modal Logics, Kluwer Academic Press, 1997.
77. [Mar 99] Marx M., Reynolds M., "Undecidability Of Compass Logic", Journal Of Logic And Computation, Vol. 9, Num. 6, 1999, P. 897-914. (Pubitemid 30558608)
78. [Mon 96] Montanari A., "Metric And Layered Temporal Logic For Time Granularity", Phd Thesis, Institute For Logic, Language, And Computation, University Of Amsterdam, 1996.
79. [Mon 02] Montanari A., Sciavicco G., Vitacolonna N., "Decidability Of Interval Temporal Logics Over Split-Frames Via Granularity", Proc. The European Conference On Logic In Artificial Intelligence 2002, Num. 2424 Lnai, Springer, 2002, P. 259-270.
80. [Mos 83] Moszkowski B., "Reasoning About Digital Circuits", Phd Thesis, Department Of Computer Science, Stanford University, Technical Report Stan-Cs-83-970, Stanford, Ca, 1983.
81. [Mos 84] Moszkowski B., Manna Z., "Reasoning In Interval Temporal Logic", Clarke E. M., Kozen D., Eds., Proc. Of The 1983 Workshop On Logics Of Programs, Num. 164 Lncs, Springer, 1984, P. 371-381.
82. [Mos 86] Moszkowski B., Executing Temporal Logic Programs, Cambridge University Press, Cambridge, 1986.
83. [Mos 94] Moszkowski B., "Some Very Compositional Temporal Properties", Olderog E., Ed., Programming Concepts, Methods And Calculi, Ifip Transaction, A-56, Elsevier Science B.V. (North-Holland), 1994, P. 238-245.
84. [Mos 96A] Moser L. E., Melliar-Smith P. M., Ramakrishna Y. S., Kutty G., Dillon L. K., "Automated Deduction In A Graphical Temporal Logic", Journal Of Applied Non-Classical Logics, Vol. 6, Num. 1, 1996, P. 29-48.
85. [Mos 96B] Moszkowski B., "The Programming Language Tempura", Journal Of Symbolic Computation, Vol. 22, Num. 5/6, 1996, P. 730-733.
86. [Mos 98] Moszkowski B., "Compositional Reasoning Using Interval Temporal Logic And Tempura", De Roever W., Langmaak H., Pnueli A., Eds., Compositionality: The Significant Difference, Num. 1536 Lncs, Springer, 1998, P. 439-464.
87. [Mos 00A] Moszkowski B., "An Automata-Theoretic Completeness Proof For Interval Temporal Logic", Montanari U., Rolim J., Welzl E., Eds., Proc. Of The 27Th International Colloquium On Automata, Languages And Programming, Num. 1853 Lncs, Springer, 2000, P. 223-234.
88. [Mos 00B] Moszkowski B., "A Complete Axiomatization Of Interval Temporal Logic With Infinite Time", Proc. Of The 15Th Annual Ieee Symposium On Logic In Computer Science Lics 2000, Ieee Computer Society Press, 2000, P. 242-251.
89. [Mos 03] Moszkowski B., "A Hierarchical Completeness Proof For Interval Temporal Logic With Finite Time (Preliminary Version)", Goranko V., Montanari A., Eds., Proc. Of The Esslli Workshop On Interval Temporal Logics And Duration Calculi, 2003, P. 41-65.
90. [Nai 00] Naijun Z., "Completeness Of Higher-Order Duration Calculus", Proc. Of The European Conference On Computer Science Logics, Fischbachan, Munich, Germany, 2000, P. 22-27.
91. [Neb 95] Nebel B., Bü;Rckert H., "Reasoning About Temporal Relations: A Maximal Tractable Subclass Of Allen's Interval Algebra", Journal Of The Acm, Vol. 42, Num. 1, 1995, P. 43-66.
92. [Nis 80] Nishimura H., "Interval Logic With Applications To Study Of Tense And Aspect In English", Publications Of The Research Institute For Mathematical Sciences, Vol. 16, 1980, P. 417-459.
93. [Pan 96] Pandya P., "Weak Chop Inverses And Liveness In Mean-Value Calculus", Proc. Of The 4Th International Conference On Formal Techniques In Real-Time And Fault-Tolerant Systems, Num. 1135 Lncs, Springer, 1996, P. 148-167. (Pubitemid 126118437)
94. [Pen 98] Penix J., Pecheur C., Havelund K., "Using Model Checking To Validate Ai Planner Domain Models", 23Rd Annual Software Engineering Workshop, Nasa Goddard, 1998.
95. [Puj 97] Pujari A. K., "Neighbourhood Logic & Interval Algebra", Report Num. 116, 1997, Unu/Iist.
96. [Rab 98] Rabinovich A., "Non-Elementary Lower Bound For Propositional Duration Calculus", Information Processing Letters, Vol. 66, 1998, P. 7-11. (Pubitemid 128394106)
97. [Ram 92] Ramakrishna Y. S., Moser L. E., Dillon L. K., Melliar-Smith P. M., Kutty G., "An Automata-Theoretic Decision Procedure For Propositional Temporal Logic With Since And Until", Fundamenta Informaticae, Vol. 17, 1992, P. 271-282.
98. [Ram 93] Ramakrishna Y., "Interval Logics For Temporal Specification And Verification", Phd Thesis, University Of California, Santa Barbara, 1993.
99. [Ras 99] Rasmussen T., "Signed Interval Logic", Proc. Of The Annual European Conference On Computer Science Logic, Num. 1683 Lncs, Springer, 1999, P. 157-171.
100. [Ras 01A] Rasmussen T., "A Sequent Calculus For Signed Interval Logics", Report Num. Imm-Tr-2001-06, 2001, Informatics And Mathematical Modeling, Technical Univ. Of Denmark.
101. [Ras 01B] Rasmussen T., "Labelled Natural Deduction For Interval Logics", Fribourg L., Ed., Proc. Of The Annual European Conference On Computer Science Logic Csl'2001, Num. 2142 Lncs, Springer, 2001, P. 308-323. (Pubitemid 33332646)
102. [Ras 02] Rasmussen T., "Interval Logic. Proof Theory And Theorem Proving", Phd Thesis, Technical Univ. Of Denmark, Ph.D. Thesis, Imm-Phd-2002-97, 2002.
103. [Rei 47] Reichenbach H., Elements Of Symbolic Logic, The Free Press, New York, 1947.
104. [Ric 88] Richards B., Bethke I., "The Temporal Logic Iq", Report Num. Euccs-Rp- 1988-1, 1988, Centre For Cognitive Science, University Of Edinburgh.
105. [Roe 80] Roeper P., "Intervals And Tenses", Journal Of Philosophical Logic, Vol. 9, 1980, P. 451-469.
106. [Ros 86] Rosner R., Pnueli A., "A Choppy Logic", First Annual Ieee Symposium On Logic In Computer Science Lics'86, Ieee Computer Society Press, 1986, P. 306-313.
107. [Roy 97] Roy S., Chaochen Z., "Notes On Neighbourhood Logic", Report Num. 97, 1997, Unu/Iist Technical Report.
108. [Sie 01] Siewe F., Hung D. V., "Deriving Real-Time Programs From Duration Calculus Specifications", Proc. Of The 11Th Advanced Research Working Conference On Correct Hardware Design And Verification Methods Charme 2001, Vol. 2144 Of Lncs, Springer- Verlag, 2001, P. 92-97.
109. [Ska 94] SkakkebK J., Sestoft P., "Checking Validity Of Duration Calculus Formulas", Report, 1994, Technical Report, Procos Ii, Esprit Bra 7071, Report No. Id/Dth Jus 3/1, Department Of Computer Science, Technical University Of Denmark.
110. [SØR 90] SØRensen E., Ravn A., Rischel H., "Control Program For A Gas Burner. Part I: Informal Requirements, Process Case Study 1", Report, 1990, Procos Report Id/Dth Evs2.
111. [Tha 01] Thae H. K., Hung D. V., "Formal Design Of Hybrid Control Systems: Duration Calculus Approach", Proc. Of The Twenty-Fiftth Annual International Computer Software And Applications Conference Compsac 2001, Ieee Computer Society Press, 2001, P. 423-428.
112. [Ven 90] Venema Y., "Expressiveness And Completeness Of An Interval Tense Logic", Notre Dame Journal Of Formal Logic, Vol. 31, Num. 4, 1990, P. 529-547.
113. [Ven 91] Venema Y., "A Modal Logic For Chopping Intervals", Journal Of Logic And Computation, Vol. 1, Num. 4, 1991, P. 453-476.
114. [Vil 86] Vilain M., Kautz H., "Constraint Propagation Algorithms For Temporal Reasoning", Proc. Of The 5Th National Conference Of The American Association For Artificial Intelligence (Aaai), Aaai Press, 1986, P. 377-382.
115. [Wol 85] Wolper P., "The Tableau Method For Temporal Logic: An Overview", Logique Et Analyse, Vol. 28, 1985, P. 119-136.
116. [Yon 02] Yong L., Hung D. V., "Checking Temporal Duration Properties Of Timed Automata", Journal Of Computer Science And Technology, Vol. 17, Num. 6, 2002, P. 689-698.