메뉴 건너뛰기




Volumn 1998-June, Issue , 1998, Pages 58-69

The Horn mu-calculus

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CALCULATIONS; COMPUTATIONAL COMPLEXITY; FORESTRY; LOGIC PROGRAMMING; PARALLEL PROCESSING SYSTEMS; TEMPORAL LOGIC;

EID: 85018238784     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705643     Document Type: Conference Paper
Times cited : (16)

References (26)
  • 1
    • 85005854634 scopus 로고
    • An automata-Theoretic approach to branching-Time model checking
    • volume 818 of LNCS, Stanford, California, June, Springer-Verlag. Full version available from authors
    • O. Bernholtz, M. Y. Vardi, and P. Wolper. An automata-Theoretic approach to branching-Time model checking. In Computer Aided Verification, Proc. 6th Int. Workshop, volume 818 of LNCS, pages 142-155, Stanford, California, June 1994. Springer-Verlag. Full version available from authors.
    • (1994) Computer Aided Verification, Proc. 6th Int. Workshop , pp. 142-155
    • Bernholtz, O.1    Vardi, M.Y.2    Wolper, P.3
  • 2
    • 84944409047 scopus 로고    scopus 로고
    • Reachability analysis of pushdown automata: Application to model checking
    • LNCS
    • A. Bouajjani, J. Esparza, and O. Maler. Reachability Analysis of Pushdown Automata: Application to Model Checking. In CONCUR' 97. LNCS 1243, 1997.
    • (1997) CONCUR' 97 , vol.1243
    • Bouajjani, A.1    Esparza, J.2    Maler, O.3
  • 3
    • 27144502798 scopus 로고
    • Regular canonical systems
    • Reprint in Saunders Mac Lane, Dirk Siefkes, editors, The collected works of J. Richard Buchi, Springer-Verlag, 1990
    • J. R. Buchi. Regular canonical systems. Archiv Mathematische Logik und Grundlagenforschung, 6:91-111, 1964. Reprint in Saunders Mac Lane, Dirk Siefkes, editors, The collected works of J. Richard Buchi, Springer-Verlag, 1990.
    • (1964) Archiv Mathematische Logik und Grundlagenforschung , vol.6 , pp. 91-111
    • Buchi, J.R.1
  • 4
    • 0001863831 scopus 로고
    • Composition, decomposition and model- checking of pushdown processes
    • O. Burkart and B. Steffen. Composition, Decomposition and Model- Checking of Pushdown Processes. Nordic Journal of Computing, 2, 1995.
    • (1995) Nordic Journal of Computing , vol.2
    • Burkart, O.1    Steffen, B.2
  • 8
    • 0000099336 scopus 로고
    • Tree automata, mu-calculus and determinacy
    • E. A. Emerson and C. S. Jutla. Tree automata, mu-calculus and determinacy. In Proc. FOCS 91, 1991.
    • (1991) Proc. FOCS , vol.91
    • Emerson, E.A.1    Jutla, C.S.2
  • 13
    • 0004531856 scopus 로고
    • A polynomial-Time algorithm for deciding equivalence of normed context-free processes
    • IEEE Computer Society Press, November
    • Y. Hirschfeld, M. Jerrum, and F. Moller. A polynomial-Time algorithm for deciding equivalence of normed context-free processes. In 35th Annual Symposium on Foundations of Computer Science, pages 623-631. IEEE Computer Society Press, November 1994.
    • (1994) 35th Annual Symposium on Foundations of Computer Science , pp. 623-631
    • Hirschfeld, Y.1    Jerrum, M.2    Moller, F.3
  • 14
    • 0026189823 scopus 로고
    • Actions speak louder than words: Proving bisimilarity for context-free processes
    • IEEE Computer Society Press, July
    • H. Huttel and C. Stirling. Actions speak louder than words: Proving bisimilarity for context-free processes. In Proceedings, 6th Annual Symposium on Logic in Computer Science, pages 376-386. IEEE Computer Society Press, July 1991.
    • (1991) Proceedings, 6th Annual Symposium on Logic in Computer Science , pp. 376-386
    • Huttel, H.1    Stirling, C.2
  • 16
  • 17
    • 84913355219 scopus 로고
    • Regular expressions for infinite trees and a standard form of automata
    • A. Skowron, editor, volume 208 of LNCS
    • A. W. Mostowski. Regular expressions for infinite trees and a standard form of automata. In A. Skowron, editor, Fifth Symposium on Computation Theory, volume 208 of LNCS, pages 157-168, 1984.
    • (1984) Fifth Symposium on Computation Theory , pp. 157-168
    • Mostowski, A.W.1
  • 18
    • 0021859985 scopus 로고
    • The theory of ends, pushdown automata, and second-order logic
    • D. E. Muller and P. E. Schup. The theory of ends, pushdown automata, and second-order logic. Theoretical Comput. Sci., 37, 1985.
    • (1985) Theoretical Comput. Sci. , vol.37
    • Muller, D.E.1    Schup, P.E.2
  • 19
    • 0029288002 scopus 로고
    • Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
    • D. E. Muller and P. E. Schupp. Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra. Theoretical Comput. Sci., 141:69-107, 1995.
    • (1995) Theoretical Comput. Sci. , vol.141 , pp. 69-107
    • Muller, D.E.1    Schupp, P.E.2
  • 20
    • 0024126661 scopus 로고
    • Fixed points vs. Infinite generation
    • D. Niwínski. Fixed points vs. infinite generation. In LICS '88, pages 402-409, 1988.
    • (1988) LICS '88 , pp. 402-409
    • Niwínski, D.1
  • 21
    • 0346678020 scopus 로고    scopus 로고
    • Fixed points characterization of infinite behavior of finite state systems
    • D. Niwínski. Fixed points characterization of infinite behavior of finite state systems. Theoret. Comput. Sci., 189:1-69, 1997.
    • (1997) Theoret. Comput. Sci. , vol.189 , pp. 1-69
    • Niwínski, D.1
  • 22
    • 85029478990 scopus 로고
    • Empty stack pushdown omega-Tree automata
    • J.-C. Raoult, editor, volume 581 of LNCS, Springer- Verlag, February
    • W. Peng and S. Purushothaman. Empty stack pushdown omega-Tree automata. In J.-C. Raoult, editor, Colloquium on Trees in Algebra and Programming, volume 581 of LNCS, pages 248-264. Springer- Verlag, February 1992.
    • (1992) Colloquium on Trees in Algebra and Programming , pp. 248-264
    • Peng, W.1    Purushothaman, S.2
  • 23
    • 0001514506 scopus 로고
    • Automatic computation of data set definitions
    • J. C. Reynolds. Automatic computation of data set definitions. Information Processing, 68:456-461, 1969.
    • (1969) Information Processing , vol.68 , pp. 456-461
    • Reynolds, J.C.1
  • 24
    • 0001568609 scopus 로고    scopus 로고
    • Languages, automata, and logic
    • G. Rozenberg and A. Salomaa, editors
    • W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3. 1997.
    • (1997) Handbook of Formal Languages , vol.3
    • Thomas, W.1
  • 25
    • 84957642329 scopus 로고    scopus 로고
    • Pushdown processes: Games and model checking
    • volume 1102 of LNCS
    • I. Walukiewicz. Pushdown processes: Games and model checking. In CAV'96, volume 1102 of LNCS, pages 62-74, 1996.
    • (1996) CAV'96 , pp. 62-74
    • Walukiewicz, I.1
  • 26
    • 85043690115 scopus 로고    scopus 로고
    • Infinite games on fintely coloured graphs with applications to automata on infinte trees
    • To appear in
    • W. Zielonka. Infinite games on fintely coloured graphs with applications to automata on infinte trees. To appear in TCS, 1997.
    • (1997) TCS
    • Zielonka, W.1


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