메뉴 건너뛰기




Volumn 1974, Issue , 2000, Pages 139-150

A decidable dense branching-time temporal logic

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; FORESTRY; SEMANTICS; SOFTWARE ENGINEERING; TEMPORAL LOGIC; TREES (MATHEMATICS);

EID: 84908371689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (17)
  • 3
    • 0029708178 scopus 로고    scopus 로고
    • The benefits of relaxing punctuality
    • R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116-146, 1996.
    • (1996) Journal of the ACM , vol.43 , Issue.1 , pp. 116-146
    • Alur, R.1    Feder, T.2    Henzinger, T.A.3
  • 4
    • 43949167687 scopus 로고
    • Real-time logics: Complexity and expressiveness
    • R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. Information and Computation, 104(1):35-77, 1993.
    • (1993) Information and Computation , vol.104 , Issue.1 , pp. 35-77
    • Alur, R.1    Henzinger, T.A.2
  • 5
    • 85037030721 scopus 로고
    • Design and synthesis of synchronization skeletons using branching time temporal logic
    • LNCS 131, Springer-Verlag
    • E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of Workshop on Logic of Programs, LNCS 131, pages 52-71. Springer-Verlag, 1981.
    • (1981) Proceedings of Workshop on Logic of Programs , pp. 52-71
    • Clarke, E.M.1    Emerson, E.A.2
  • 7
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • J. van Leeuwen, editor, Elsevier Science Publishers
    • E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 995-1072
    • Emerson, E.A.1
  • 10
    • 0000835369 scopus 로고
    • On the development of reactive systems
    • Springer-Verlag
    • D. Harel and A. Pnueli. On the development of reactive systems. In Logics and Models of Concurrent Systems, volume F-13 of NATO Advanced Summer Institutes, pages 477-498. Springer-Verlag, 1985.
    • (1985) Logics and Models of Concurrent Systems , pp. 477-498
    • Harel, D.1    Pnueli, A.2
  • 11
    • 0001625292 scopus 로고
    • Safety analysis of timing properties in real-time systems
    • , SE -
    • F. Jahanian and A.K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE - 12(9):890-904, 1986.
    • (1986) IEEE Transactions on Software Engineering , vol.12 , Issue.9 , pp. 890-904
    • Jahanian, F.1    Mok, A.K.2
  • 12
    • 0001601021 scopus 로고
    • Specifying real-time properties with metric temporal logic
    • R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Real-Time Systems, 2:255-299, 1990.
    • (1990) Journal of Real-Time Systems , vol.2 , pp. 255-299
    • Koymans, R.1
  • 13
    • 84947729282 scopus 로고    scopus 로고
    • Technical report, Dipartimento di Informatica ed Applicazioni, Universit`a degli Studi di Salerno, Italy
    • S. LaTorre and M. Napoli. Timed tree automata with an application to temporal logic. Technical report, Dipartimento di Informatica ed Applicazioni, Universit`a degli Studi di Salerno, Italy, 1997. URL:“http://www.cis.upenn.edu/∼latorre/Papers/stctl.ps.gz”.
    • (1997) Timed Tree Automata with an Application to Temporal Logic
    • Latorre, S.1    Napoli, M.2
  • 14
    • 0042165766 scopus 로고
    • Applications of temporal logic to the specification of real-time systems
    • LNCS 331, Springer-Verlag
    • A. Pnueli and E. Harel. Applications of temporal logic to the specification of real-time systems. In Formal Techniques in Real-time and Fault-tolerant Systems, LNCS 331, pages 84-98. Springer-Verlag, 1988.
    • (1988) Formal Techniques in Real-Time and Fault-Tolerant Systems , pp. 84-98
    • Pnueli, A.1    Harel, E.2
  • 16
    • 84947778103 scopus 로고
    • Automata on infinite objects and Church’s problem
    • M.O. Rabin. Automata on infinite objects and Church’s problem. Trans. Amer. Math. Soc., 1972.
    • (1972) Trans. Amer. Math. Soc
    • Rabin, M.O.1
  • 17
    • 0001282303 scopus 로고
    • Automata on infinite objects
    • J. van Leeuwen, editor, Elsevier Science Publishers, URL
    • W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133-191. Elsevier Science Publishers, 1990. URL: “http://www.cis.upenn.edu/∼latorre/Papers/fsttcs.ps.gz”.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 133-191
    • Thomas, W.1


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