메뉴 건너뛰기




Volumn 2303, Issue , 2002, Pages 280-294

Model-checking infinite systems generated by ground tree rewriting

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING;

EID: 84948973714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45931-6_20     Document Type: Conference Paper
Times cited : (14)

References (14)
  • 1
    • 0033700293 scopus 로고    scopus 로고
    • Automatic structures
    • IEEE Computer Society Press
    • Achim Blumensath and Erich Grädel. Automatic structures. In Proceedings of LICS ’00, pages 51–62. IEEE Computer Society Press, 2000.
    • (2000) Proceedings of LICS ’00 , pp. 51-62
    • Blumensath, A.1    Grädel, E.2
  • 2
    • 0000150176 scopus 로고
    • Brainerd. Tree generating regular systems
    • Walter S. Brainerd. Tree generating regular systems. Information and Control, 14:217–231, 1969.
    • (1969) Information and Control , vol.14 , pp. 217-231
    • Walter, S.1
  • 3
    • 84949049787 scopus 로고    scopus 로고
    • On infinite transition graphs having a decidable monadic theory
    • Springer-Verlag
    • Didier Caucal. On infinite transition graphs having a decidable monadic theory. In Proceedings ICALP ’96, volume 1099 of LNCS. Springer-Verlag, 1996.
    • (1996) Proceedings ICALP ’96, Volume 1099 of LNCS
    • Caucal, D.1
  • 4
    • 0028769280 scopus 로고
    • Bottom-up tree pushdown automata: Classification and connection with rewrite systems
    • J.L. Coquidé, M. Dauchet, R. Gilleron, and S. Vágvölgyi. Bottom-up tree pushdown automata: Classification and connection with rewrite systems. Theoretical Computer Science, 127(1):69–98, 1994.
    • (1994) Theoretical Computer Science , vol.127 , Issue.1 , pp. 69-98
    • Coquidé, J.L.1    Dauchet, M.2    Gilleron, R.3    Vágvölgyi, S.4
  • 6
    • 0025499418 scopus 로고
    • Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
    • October
    • Max Dauchet, Thierry Heuillard, Pierre Lescanne, and Sophie Tison. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Information and Computation, 88(2):187–201, October 1990.
    • (1990) Information and Computation , vol.88 , Issue.2 , pp. 187-201
    • Dauchet, M.1    Heuillard, T.2    Lescanne, P.3    Tison, S.4
  • 7
    • 0025596345 scopus 로고
    • The theory of ground rewrite systems is decidable
    • IEEE Computer Society Press
    • Max Dauchet and Sophie Tison. The theory of ground rewrite systems is decidable. In Proceedings LICS ’90, pages 242–248. IEEE Computer Society Press, 1990.
    • (1990) Proceedings LICS ’90 , pp. 242-248
    • Dauchet, M.1    Tison, S.2
  • 9
    • 84925086337 scopus 로고
    • On the model checking problem for branching time logics and Basic Parallel Processes
    • Javier Esparza and Astrid Kiehn. On the model checking problem for branching time logics and Basic Parallel Processes. In Proceedings of CAV ’95, volume 939 of LNCS, pages 353–366, 1995.
    • (1995) Proceedings of CAV ’95, Volume 939 of LNCS , pp. 353-366
    • Esparza, J.1    Kiehn, A.2
  • 10
    • 84968456308 scopus 로고    scopus 로고
    • An automata-theoretic approach to reasoning about infinite-state systems
    • E. A. Emerson and A. P. Sistla, editors, Springer-Verlag
    • Orna Kupferman and Moshe Y. Vardi. An automata-theoretic approach to reasoning about infinite-state systems. In E. A. Emerson and A. P. Sistla, editors, Proceedings of CAV 2000, volume 1855 of LNCS. Springer-Verlag, 2000.
    • (2000) Proceedings of CAV 2000, Volume 1855 of LNCS
    • Kupferman, O.1    Vardi, M.Y.2
  • 11
    • 0034627955 scopus 로고    scopus 로고
    • Process rewrite systems
    • Richard Mayr. Process rewrite systems. Information and Computation, 156(1– 2):264–286, 2000.
    • (2000) Information and Computation , vol.156 , Issue.12 , pp. 264-286
    • Mayr, R.1
  • 13
    • 0021859985 scopus 로고
    • The theory of ends, pushdown automata, and second-order logic
    • David E. Muller and Paul E. Schupp. The theory of ends, pushdown automata, and second-order logic. Theoretical Computer Science, 37:51–75, 1985.
    • (1985) Theoretical Computer Science , vol.37 , pp. 51-75
    • Muller, D.E.1    Schupp, P.E.2
  • 14
    • 84957642329 scopus 로고    scopus 로고
    • Pushdown processes: Games and model checking
    • In Rajeev Alur and Thomas A. Henzinger, editors, Springer-Verlag, July-August
    • Igor Walukiewicz. Pushdown processes: Games and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of CAV ’96, volume 1102 of LNCS, pages 62–74. Springer-Verlag, July-August 1996.
    • (1996) Proceedings of CAV ’96, Volume 1102 of LNCS , pp. 62-74
    • Walukiewicz, I.1


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