-
1
-
-
85005854634
-
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
-
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
-
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
-
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
-
5
-
-
84958747315
-
Co-definite set constraints
-
T. Nipkow, editor, volume 1379 of LNCS, Springer-Verlag
-
W. Charatonik and A. Podelski. Co-definite set constraints. In T. Nipkow, editor, Proceedings of the 9th International Conference on Rewriting Techniques and Applications, volume 1379 of LNCS, pages 211-225. Springer-Verlag, 1998.
-
(1998)
Proceedings of the 9th International Conference on Rewriting Techniques and Applications
, pp. 211-225
-
-
Charatonik, W.1
Podelski, A.2
-
6
-
-
84947936245
-
Set-based analysis of reactive infinite-state systems
-
B. Steffen, editor, volume 1384 of LNCS, Springer-Verlag
-
W. Charatonik and A. Podelski. Set-based analysis of reactive infinite-state systems. In B. Steffen, editor, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of LNCS, pages 358-375. Springer-Verlag, 1998.
-
(1998)
Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems
, pp. 358-375
-
-
Charatonik, W.1
Podelski, A.2
-
7
-
-
84948965152
-
Solving classes of set constraints with tree automata
-
G. Smolka, editor, volume 1330 of LNCS, pages 68-83. Springer-Verlag, October
-
P. Devienne, J.-M. Talbot, and S. Tison. Solving classes of set constraints with tree automata. In G. Smolka, editor, Proceedings of the Third International Conference on Principles and Practice of Constraint Programming - CP97, volume 1330 of LNCS, pages 68-83. Springer-Verlag, October 1997.
-
(1997)
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming - CP97
-
-
Devienne, P.1
Talbot, J.-M.2
Tison, S.3
-
8
-
-
0000099336
-
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
-
9
-
-
0003246762
-
A direct symbolic approach to model checking pushdown systems
-
A. Finkel, B. Willems, and P. Wolper. A direct symbolic approach to model checking pushdown systems. Electronic Notes in Theoretical Computer Science 9, www.elsevier.nl/locate/entcs, 13 pages, 1997.
-
(1997)
Electronic Notes in Theoretical Computer Science
, vol.9
, pp. 13
-
-
Finkel, A.1
Willems, B.2
Wolper, P.3
-
10
-
-
0026188229
-
Logic programs as types for logic programs
-
July
-
T. Fruhwirth, E. Shapiro, M. Vardi, and E. Yardeni. Logic programs as types for logic programs. In Sixth Annual IEEE Symposium on Logic in Computer Science, pages 300-309, July 1991.
-
(1991)
Sixth Annual IEEE Symposium on Logic in Computer Science
, pp. 300-309
-
-
Fruhwirth, T.1
Shapiro, E.2
Vardi, M.3
Yardeni, E.4
-
13
-
-
0004531856
-
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
-
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
-
-
38249000493
-
Infinite games played on finite graphs
-
R. McNaughton. Infinite games played on finite graphs. Annals of Pure and Applied Logic, 65:149-184, 1993.
-
(1993)
Annals of Pure and Applied Logic
, vol.65
, pp. 149-184
-
-
McNaughton, R.1
-
17
-
-
84913355219
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|