메뉴 건너뛰기




Volumn 208, Issue 2, 2010, Pages 97-116

On the expressiveness of TPTL and MTL

Author keywords

[No Author keywords available]

Indexed keywords

LINEARIZATION;

EID: 73549089903     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2009.10.004     Document Type: Article
Times cited : (41)

References (43)
  • 3
  • 4
    • 0029708178 scopus 로고    scopus 로고
    • The benefits of relaxing punctuality
    • Alur R., Feder T., and Henzinger T.A. The benefits of relaxing punctuality. Journal of the ACM 43 1 (1996) 116-146
    • (1996) Journal of the ACM , vol.43 , Issue.1 , pp. 116-146
    • Alur, R.1    Feder, T.2    Henzinger, T.A.3
  • 5
    • 0025658607 scopus 로고    scopus 로고
    • Rajeev Alur, Thomas A. Henzinger, Real-time logics: complexity and expressiveness, in: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90), IEEE Computer Society Press, 1990, pp. 390-401 (Preliminary version of Ref. [8]).
    • Rajeev Alur, Thomas A. Henzinger, Real-time logics: complexity and expressiveness, in: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90), IEEE Computer Society Press, 1990, pp. 390-401 (Preliminary version of Ref. [8]).
  • 7
    • 51549096502 scopus 로고
    • Logics and models of real-time: A survey
    • Real-Time: Theory in Practice, Proceedings of the REX Workshop, Springer
    • Rajeev Alur, Thomas A. Henzinger, Logics and models of real-time: a survey, in: Real-Time: Theory in Practice, Proceedings of the REX Workshop 1991, Lecture Notes in Computer Science, vol. 600, Springer, 1992, pp. 74-106.
    • (1991) Lecture Notes in Computer Science , vol.600 , pp. 74-106
    • Alur, R.1    Henzinger, T.A.2
  • 8
    • 43949167687 scopus 로고
    • Real-time logics: complexity and expressiveness
    • Alur R., and Henzinger T.A. Real-time logics: complexity and expressiveness. Information and Computation 104 1 (1993) 35-77
    • (1993) Information and Computation , vol.104 , Issue.1 , pp. 35-77
    • Alur, R.1    Henzinger, T.A.2
  • 9
  • 11
    • 27244442285 scopus 로고    scopus 로고
    • Patricia Bouyer, Franck Cassez, François Laroussinie, Modal logics for timed control, in: Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), Lecture Notes in Computer Science, 3821, Springer, 2005, pp. 81-94.
    • Patricia Bouyer, Franck Cassez, François Laroussinie, Modal logics for timed control, in: Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), Lecture Notes in Computer Science, vol. 3821, Springer, 2005, pp. 81-94.
  • 12
    • 21844488819 scopus 로고    scopus 로고
    • Ahmad Bouajjani, Yassine Lakhnech, Temporal logic + timed automata: expressiveness and decidability, in: Proceedings of the Sixth International Conference on Concurrency Theory (CONCUR'95), Lecture Notes in Computer Science, 962, Springer, 1995, pp. 531-545.
    • Ahmad Bouajjani, Yassine Lakhnech, Temporal logic + timed automata: expressiveness and decidability, in: Proceedings of the Sixth International Conference on Concurrency Theory (CONCUR'95), Lecture Notes in Computer Science, vol. 962, Springer, 1995, pp. 531-545.
  • 13
    • 73549125047 scopus 로고    scopus 로고
    • On the expressiveness of TPTL in the pointwise and continuous semantics
    • Unpublished manuscript
    • Deepak D'Souza, Raveendra Holla, Deepak Vankadaru, On the expressiveness of TPTL in the pointwise and continuous semantics, Unpublished manuscript, 2007.
    • (2007)
    • D'Souza, D.1    Holla, R.2    Vankadaru, D.3
  • 14
    • 73549096674 scopus 로고    scopus 로고
    • Eliminating Past Operators in Metric Temporal Logic
    • Technical Report IISc-CSA-TR-2006-11, IISC Bangalore, India
    • Deepak D'Souza, Mohan M. Raj, Pavithra Prabhakar, Eliminating Past Operators in Metric Temporal Logic, Technical Report IISc-CSA-TR-2006-11, IISC Bangalore, India, 2006.
    • (2006)
    • D'Souza, D.1    Raj, M.M.2    Prabhakar, P.3
  • 15
    • 33750374989 scopus 로고    scopus 로고
    • Deepak D'Souza, Pavithra Prabhakar, On the expressiveness of MTL with past operators, in: Proceedings of the Fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06), Lecture Notes in Computer Science, 4202, Springer, 2006, pp. 322-336.
    • Deepak D'Souza, Pavithra Prabhakar, On the expressiveness of MTL with past operators, in: Proceedings of the Fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06), Lecture Notes in Computer Science, vol. 4202, Springer, 2006, pp. 322-336.
  • 16
    • 33947604549 scopus 로고    scopus 로고
    • On the expressiveness of MTL in the pointwise and continuous semantics
    • D'Souza D., and Prabhakar P. On the expressiveness of MTL in the pointwise and continuous semantics. Formal Methods Letters 9 1 (2007) 1-4
    • (2007) Formal Methods Letters , vol.9 , Issue.1 , pp. 1-4
    • D'Souza, D.1    Prabhakar, P.2
  • 17
    • 0022514018 scopus 로고
    • Sometimes and not never revisited: on branching versus linear time temporal logic
    • Allen Emerson E., and Halpern J.Y. Sometimes and not never revisited: on branching versus linear time temporal logic. Journal of the ACM 33 1 (1986) 151-178
    • (1986) Journal of the ACM , vol.33 , Issue.1 , pp. 151-178
    • Allen Emerson, E.1    Halpern, J.Y.2
  • 19
    • 38149096211 scopus 로고    scopus 로고
    • On the expressiveness of mtl variants over dense time
    • Jean-François Raskin, P.S. Thiagarajan (Eds, Proceedings of the Fifth International Conferences on Formal Modelling and Analysis of Timed Systems FORMATS'07, Springer-Verlag
    • Carlo A. Furia, Matteo Rossi, On the expressiveness of mtl variants over dense time, in: Jean-François Raskin, P.S. Thiagarajan (Eds.), Proceedings of the Fifth International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 163-178.
    • (2007) Lecture Notes in Computer Science , pp. 163-178
    • Furia, C.A.1    Rossi, M.2
  • 21
    • 84945905717 scopus 로고    scopus 로고
    • Thomas A. Henzinger, It's about time: real-time logics reviewed, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, 1466, Springer, 1998, pp. 439-454.
    • Thomas A. Henzinger, It's about time: real-time logics reviewed, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, vol. 1466, Springer, 1998, pp. 439-454.
  • 23
    • 33750053537 scopus 로고    scopus 로고
    • An expressive temporal logic for real time
    • Rastislav Královič, Pawel Urzyczyn (Eds, Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science MFCS'06, Springer-Verlag
    • Yoram Hirshfeld, Alexander Rabinovich, An expressive temporal logic for real time, in: Rastislav Královič, Pawel Urzyczyn (Eds.), Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science (MFCS'06), Lecture Notes in Computer Science, vol. 4162, Springer-Verlag, 2006, pp. 492-504.
    • (2006) Lecture Notes in Computer Science , vol.4162 , pp. 492-504
    • Hirshfeld, Y.1    Rabinovich, A.2
  • 26
    • 0001601021 scopus 로고
    • Specifying real-time properties with metric temporal logic
    • Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems 2 4 (1990) 255-299
    • (1990) Real-Time Systems , vol.2 , Issue.4 , pp. 255-299
    • Koymans, R.1
  • 27
    • 0029323608 scopus 로고
    • About the expressive power of CTL combinators
    • Laroussinie F. About the expressive power of CTL combinators. Information Processing Letters 54 6 (1995) 343-345
    • (1995) Information Processing Letters , vol.54 , Issue.6 , pp. 343-345
    • Laroussinie, F.1
  • 29
    • 85035040046 scopus 로고
    • The glory of the past
    • Proceedings of the Conference on Logics of Programs, Springer-Verlag
    • Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck, The glory of the past, in: Proceedings of the Conference on Logics of Programs, Lecture Notes in Computer Science, vol. 193, Springer-Verlag, 1985, pp. 413-424.
    • (1985) Lecture Notes in Computer Science , vol.193 , pp. 413-424
    • Lichtenstein, O.1    Pnueli, A.2    Zuck, L.D.3
  • 30
    • 21144457914 scopus 로고    scopus 로고
    • Temporal logic with past is exponentially more succinct
    • Markey N. Temporal logic with past is exponentially more succinct. EATCS Bulletin 79 (2003) 122-128
    • (2003) EATCS Bulletin , vol.79 , pp. 122-128
    • Markey, N.1
  • 31
    • 33746296273 scopus 로고    scopus 로고
    • Model checking restricted sets of timed paths
    • Markey N., and Raskin J.-F. Model checking restricted sets of timed paths. Theoretical Computer Science 358 2-3 (2006) 273-292
    • (2006) Theoretical Computer Science , vol.358 , Issue.2-3 , pp. 273-292
    • Markey, N.1    Raskin, J.-F.2
  • 32
    • 0026853042 scopus 로고
    • Formal methods for the specification and design of real-time safety critical systems
    • Ostroff J.S. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software 18 1 (1992) 33-60
    • (1992) Journal of Systems and Software , vol.18 , Issue.1 , pp. 33-60
    • Ostroff, J.S.1
  • 35
    • 73549089950 scopus 로고    scopus 로고
    • Jean-François Raskin, Logics, Automata and Classical Theories for Deciding Real-Time, Ph.D. Thesis, University of Namur, Namur, Belgium, 1999.
    • Jean-François Raskin, Logics, Automata and Classical Theories for Deciding Real-Time, Ph.D. Thesis, University of Namur, Namur, Belgium, 1999.
  • 36
    • 23844553226 scopus 로고    scopus 로고
    • The complexity of the temporal logic with until over general linear time
    • Reynolds M. The complexity of the temporal logic with until over general linear time. Journal of Computer and System Sciences 66 2 (2003) 393-426
    • (2003) Journal of Computer and System Sciences , vol.66 , Issue.2 , pp. 393-426
    • Reynolds, M.1
  • 37
    • 4644330183 scopus 로고    scopus 로고
    • Axioms for real-time logics
    • Proceedings of the Ninth International Conference on Concurrency Theory CONCUR'98, Springer
    • Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger, Axioms for real-time logics, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, Springer, vol. 1466, 1998, pp. 219-236.
    • (1998) Lecture Notes in Computer Science , vol.1466 , pp. 219-236
    • Raskin, J.-F.1    Schobbens, P.-Y.2    Henzinger, T.A.3
  • 38
    • 0022092438 scopus 로고
    • The complexity of propositional linear temporal logics
    • Prasad Sistla A., and Clarke E.M. The complexity of propositional linear temporal logics. Journal of the ACM 32 3 (1985) 733-749
    • (1985) Journal of the ACM , vol.32 , Issue.3 , pp. 733-749
    • Prasad Sistla, A.1    Clarke, E.M.2
  • 39
    • 11344251138 scopus 로고    scopus 로고
    • Monitoring algorithms for metric temporal logic specifications
    • Proceedings of the Fourth International Workshop on Runtime Verification RV'04, Elsevier
    • Prasanna Thati, Grigore Rosu, Monitoring algorithms for metric temporal logic specifications, in: Proceedings of the Fourth International Workshop on Runtime Verification (RV'04), Electronic Notes in Computer Science, vol. 113, Elsevier, 2005.
    • (2005) Electronic Notes in Computer Science , vol.113
    • Thati, P.1    Rosu, G.2
  • 41
    • 84947731286 scopus 로고    scopus 로고
    • An automata-theoretic approach to linear temporal logic
    • Proceedings of the Logics for Concurrency: Structure Versus Automata, Springer
    • Moshe Y. Vardi, An automata-theoretic approach to linear temporal logic, in: Proceedings of the Logics for Concurrency: Structure Versus Automata, Lecture Notes in Computer Science, vol. 1043, Springer, 1996, pp. 238-266.
    • (1996) Lecture Notes in Computer Science , vol.1043 , pp. 238-266
    • Vardi, M.Y.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.