메뉴 건너뛰기




Volumn 1373 LNCS, Issue , 1998, Pages 533-543

Expressive completeness of LTrL on finite traces: An algebraic proof

Author keywords

automata and formal languages; logic in computer science; theory of parallel and distributed computation

Indexed keywords

AUTOMATA AND FORMAL LANGUAGES; EXPRESSIVE POWER; FINITE SEQUENCE; FINITE TRACES; FIRST ORDER THEORIES; LOGIC IN COMPUTER SCIENCE; MAZURKIEWICZ TRACES; THEORY OF PARALLEL AND DISTRIBUTED COMPUTATION; WREATH PRODUCTS;

EID: 78649886056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0028588     Document Type: Conference Paper
Times cited : (5)

References (17)
  • 6
    • 0003257888 scopus 로고    scopus 로고
    • Partial-order methods for the verification of concurrent systems
    • Springer
    • P. Godefroid. Partial-order methods for the verification of concurrent systems. In LNCS 1032, pages 176-185. Springer, 1996.
    • (1996) LNCS , vol.1032 , pp. 176-185
    • Godefroid, P.1
  • 8
  • 9
    • 0003278544 scopus 로고
    • Concurrent program schemes and their interpretations
    • Aarhus University, Aarhus
    • A. Mazurkiewicz. Concurrent program schemes and their interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus, 1977.
    • (1977) DAIMI Rep. PB 78
    • Mazurkiewicz, A.1
  • 10
    • 84947900891 scopus 로고    scopus 로고
    • Partial-order reductions: Model checking using representatives
    • Proceedings of MFCS'96
    • D. Peled. Partial-order reductions: model checking using representatives. In Proceedings of MFCS'96, number 1113 in Lecture Notes in Computer Science, pages 93-112, 1996.
    • (1996) Lecture Notes in Computer Science , Issue.1113 , pp. 93-112
    • Peled, D.1
  • 12
    • 0029706220 scopus 로고    scopus 로고
    • Locally linear time temporal logic
    • R. Ramanujam. Locally linear time temporal logic. In Proceedings of LICS'96, pages 118-128, 1996.
    • (1996) Proceedings of LICS'96 , pp. 118-128
    • Ramanujam, R.1
  • 13
    • 0012542611 scopus 로고
    • The wreath product and its applications
    • Proceedings of theLITP Spring School on Theoretical Computer Science
    • H. Straubing. The wreath product and its applications. In Proceedings of theLITP Spring School on Theoretical Computer Science (in LNCS vol. 386), pages 15-24, 1988.
    • (1988) LNCS , vol.386 , pp. 15-24
    • Straubing, H.1
  • 16
    • 0001282303 scopus 로고
    • Automata on infinite objects
    • J. v. Leeuwen, editor, Elsevier Science Publishers
    • W. Thomas. Automata on infinite objects. In J. v. Leeuwen, editor, Handbook of Theoretical Computer Science, pages 133-191. Elsevier Science Publishers, 1990.
    • (1990) Handbook of Theoretical Computer Science , pp. 133-191
    • Thomas, W.1
  • 17
    • 0001176166 scopus 로고
    • A stubborn attack on state explosion
    • 297-322
    • A. Valmari. A stubborn attack on state explosion. In Formal Methods in System Design, pages 1:297-322, 1992.
    • (1992) Formal Methods in System Design , pp. 1
    • Valmari, A.1


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