메뉴 건너뛰기




Volumn 4711 LNCS, Issue , 2007, Pages 291-305

Regular linear temporal logic

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LINEAR PROGRAMMING; PROBLEM SOLVING; TRANSLATION (LANGUAGES);

EID: 38049105804     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75292-9_20     Document Type: Conference Paper
Times cited : (52)

References (27)
  • 1
    • 38049143748 scopus 로고    scopus 로고
    • IEEE P1850, Standard for PSL, Property Specification Language September 2005
    • IEEE P1850 - Standard for PSL - Property Specification Language (September 2005)
  • 3
    • 84958756507 scopus 로고    scopus 로고
    • Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., Rodeh, Y.: The temporal logic Sugar. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, 2102, pp. 363-367. Springer, Heidelberg (2001)
    • Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., Rodeh, Y.: The temporal logic Sugar. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 363-367. Springer, Heidelberg (2001)
  • 5
    • 84949208566 scopus 로고
    • Characterizing correctness properties of parallel programs using fixpoints
    • de Bakker, J.W, van Leeuwen, J, eds, Automata, Languages and Programming, Springer, Heidelberg
    • Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints. In: de Bakker, J.W., van Leeuwen, J. (eds.) Automata, Languages and Programming. LNCS, vol. 85, pp. 169-181. Springer, Heidelberg (1980)
    • (1980) LNCS , vol.85 , pp. 169-181
    • Emerson, E.A.1    Clarke, E.M.2
  • 10
    • 84949673542 scopus 로고    scopus 로고
    • Translating regular expressions into small ε-free nondeterministic finite automata
    • Reischuk, R, Morvan, M, eds, STACS, 1200, pp, Springer, Heidelberg
    • Hromkovic, J., Seibert, S., Wilke, T.: Translating regular expressions into small ε-free nondeterministic finite automata. In: Reischuk, R., Morvan, M. (eds.) STACS 97. LNCS, vol. 1200, pp. 55-66. Springer, Heidelberg (1997)
    • (1997) LNCS , vol.97 , pp. 55-66
    • Hromkovic, J.1    Seibert, S.2    Wilke, T.3
  • 11
    • 0003067817 scopus 로고
    • Representation of events in nerve nets and finite automata
    • Shannon, C.E, McCarthy, J, eds, Princeton University Press, Princeton, New Jersey
    • Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, vol. 34, pp. 3-41. Princeton University Press, Princeton, New Jersey (1956)
    • (1956) Automata Studies , vol.34 , pp. 3-41
    • Kleene, S.C.1
  • 12
    • 85037034070 scopus 로고
    • Results on the propositional μ-calculus
    • Nielsen, M, Schmidt, E.M, eds, Automata, Languages, and Programming, Springer, Heidelberg
    • Kozen, D.: Results on the propositional μ-calculus. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages, and Programming. LNCS, vol. 140, pp. 348-359. Springer, Heidelberg (1982)
    • (1982) LNCS , vol.140 , pp. 348-359
    • Kozen, D.1
  • 14
    • 24144479462 scopus 로고    scopus 로고
    • Weak automata for the linear time μ-calculus
    • Cousot, R, ed, VMCAI 2005, Springer, Heidelberg
    • Lange, M.: Weak automata for the linear time μ-calculus. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 267-281. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3385 , pp. 267-281
    • Lange, M.1
  • 15
    • 23044532098 scopus 로고    scopus 로고
    • Model checking fixed point logic with chop
    • Nielsen, M, Engberg, U, eds, ETAPS 2002 and FOSSACS 2002, Springer, Heidelberg
    • Lange, M., Stirling, C.: Model checking fixed point logic with chop. In: Nielsen, M., Engberg, U. (eds.) ETAPS 2002 and FOSSACS 2002. LNCS, vol. 2303, Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2303
    • Lange, M.1    Stirling, C.2
  • 18
    • 84957101257 scopus 로고    scopus 로고
    • A modal fixpoint logic with chop
    • Meinel, C, Tison, S, eds, STACS, 1563, pp, Springer, Heidelberg
    • Müller-Olm, M.: A modal fixpoint logic with chop. In: Meinel, C., Tison, S. (eds.) STACS 99. LNCS, vol. 1563, pp. 510-520. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.99 , pp. 510-520
    • Müller-Olm, M.1
  • 20
    • 0001206576 scopus 로고
    • Applications of temporal logic to the specification and verification of reactive systems - a survey of current trends
    • Rozenberg, G, de Bakker, J.W, de Roever, W.-P, eds, Current Trends in Concurrency, Springer, Heidelberg
    • Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems - a survey of current trends. In: Rozenberg, G., de Bakker, J.W., de Roever, W.-P. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 510-584. Springer, Heidelberg (1986)
    • (1986) LNCS , vol.224 , pp. 510-584
    • Pnueli, A.1
  • 21
    • 0022092438 scopus 로고
    • The complexity of propositional linear termporal logics
    • Sistla, A.P., Clarke, E.M.: The complexity of propositional linear termporal logics. Journal of the ACM 32(3), 733-749 (1985)
    • (1985) Journal of the ACM , vol.32 , Issue.3 , pp. 733-749
    • Sistla, A.P.1    Clarke, E.M.2
  • 23
    • 38049182882 scopus 로고    scopus 로고
    • Personal communication
    • Vardi, M.Y.: Personal communication
    • Vardi, M.Y.1
  • 24
    • 84947731286 scopus 로고    scopus 로고
    • An automata-theoretic approach to linear temporal logic
    • Moller, F, Birtwistle, G, eds, Logics for Concurrency, Springer, Heidelberg
    • Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238-266. Springer, Heidelberg (1996)
    • (1996) LNCS , vol.1043 , pp. 238-266
    • Vardi, M.Y.1
  • 26
    • 0020496645 scopus 로고
    • Temporal logic can be more expressive
    • Wolper, P.: Temporal logic can be more expressive. Information and Control 56, 72-99 (1983)
    • (1983) Information and Control , vol.56 , pp. 72-99
    • Wolper, P.1
  • 27
    • 84949441757 scopus 로고    scopus 로고
    • On the power of input-synchronized alternating finite automata
    • Du, D.-Z, Eades, P, Sharma, A.K, Lin, X, Estivill-Castro, V, eds, COCOON 2000, Springer, Heidelberg
    • Yamamoto, H.: On the power of input-synchronized alternating finite automata. In: Du, D.-Z., Eades, P., Sharma, A.K., Lin, X., Estivill-Castro, V. (eds.) COCOON 2000. LNCS, vol. 1858, p. 457. Springer, Heidelberg (2000)
    • (2000) LNCS , vol.1858 , pp. 457
    • Yamamoto, H.1


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