-
1
-
-
85037127279
-
The temporal logic of branching time
-
Assoc. Comput. Mach., New York
-
Ben-Ari, M., Manna, Z., and Pnueli, A. (1981), The temporal logic of branching time, in "Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages," pp. 164-176. Assoc. Comput. Mach., New York.
-
(1981)
Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages
, pp. 164-176
-
-
Ben-Ari, M.1
Manna, Z.2
Pnueli, A.3
-
2
-
-
85037030721
-
Design and verification of synchronous skeletons using branching time temporal logic
-
Springer-Verlag, Berlin/New York
-
Clarke, E. M., and Emerson, E. A. (1981), "Design and Verification of Synchronous Skeletons Using Branching Time Temporal Logic," Lecture Notes in Computer Science, Vol. 131, pp. 52-71, Springer-Verlag, Berlin/New York.
-
(1981)
Lecture Notes in Computer Science
, vol.131
, pp. 52-71
-
-
Clarke, E.M.1
Emerson, E.A.2
-
3
-
-
0000504089
-
Automatic verification of finite state concurrent system using temporal logic
-
Clarke, E. M., Emerson, E. A., and Sistla, A. P. (1983), Automatic verification of finite state concurrent system using temporal logic, in "Proceedings of the 10th Annual ACM Symposium on Principles of Programming Languages."
-
(1983)
Proceedings of the 10th Annual ACM Symposium on Principles of Programming Languages
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
4
-
-
0004231561
-
Finite model theory
-
Springer-Verlag, Berlin
-
Ebbinghaus, H. D., and Flum, J. (1995), "Finite Model Theory," Springer Perspectives in Mathematical Theory, Springer-Verlag, Berlin.
-
(1995)
Springer Perspectives in Mathematical Theory
-
-
Ebbinghaus, H.D.1
Flum, J.2
-
5
-
-
0000918436
-
An application of games to the completeness problem for formalized theories
-
Ehrenfeucht, A. (1961), An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129-141.
-
(1961)
Fund. Math.
, vol.49
, pp. 129-141
-
-
Ehrenfeucht, A.1
-
6
-
-
84949208566
-
Characterizing correctness properties of parallel programs using fixpoints
-
"Proc. 7th Coll. Automata. Languages and Programming (ICALP'80), Noordwijkerhout, NL, July 1980," Springer-Verlag, Berlin
-
Emerson, E. A., and Clarke, E. M. (1980), Characterizing correctness properties of parallel programs using fixpoints, in "Proc. 7th Coll. Automata. Languages and Programming (ICALP'80), Noordwijkerhout, NL, July 1980," Lecture Notes in Computer Science, Vol. 85, pp. 169-181, Springer-Verlag, Berlin.
-
(1980)
Lecture Notes in Computer Science
, vol.85
, pp. 169-181
-
-
Emerson, E.A.1
Clarke, E.M.2
-
7
-
-
0001449325
-
Temporal and modal logic
-
(J. van Leeuwen, Ed.), Elsevier, Amsterdam
-
Emerson, E. A. (1990), Temporal and modal logic, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), Vol. B. Elsevier, Amsterdam.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
-
-
Emerson, E.A.1
-
8
-
-
84947707044
-
Automated temporal reasoning about reactive systems
-
"Logics for Concurrency: Structure versus Automata" (F. Moller and G. Birtwistle, Eds.), Springer-Verlag, Berlin
-
Emerson, E. A. (1996), Automated temporal reasoning about reactive systems, in "Logics for Concurrency: Structure versus Automata" (F. Moller and G. Birtwistle, Eds.), Lecture Notes in Computer Science, Vol. 1043, pp. 41-101, Springer-Verlag, Berlin.
-
(1996)
Lecture Notes in Computer Science
, vol.1043
, pp. 41-101
-
-
Emerson, E.A.1
-
9
-
-
85027646065
-
Decision procedures and expressiveness in the temporal logic of branching time
-
Assoc. Comput. Mach., New York
-
Emerson, E. A., and Halpern, J. Y. (1982), Decision procedures and expressiveness in the temporal logic of branching time, in "Proceedings of the 14th Annual ACM Symposium of Theory of Computing," pp. 169-180, Assoc. Comput. Mach., New York.
-
(1982)
Proceedings of the 14th Annual ACM Symposium of Theory of Computing
, pp. 169-180
-
-
Emerson, E.A.1
Halpern, J.Y.2
-
10
-
-
0022514018
-
'Sometimes' and 'not never' revisited: On branching versus linear time temporal logics
-
Emerson, E. A., and Halpern, J. Y. (1986). 'Sometimes' and 'not never' revisited: On branching versus linear time temporal logics, J. Assoc. Comput. Mach. 33, 151-178.
-
(1986)
J. Assoc. Comput. Mach.
, vol.33
, pp. 151-178
-
-
Emerson, E.A.1
Halpern, J.Y.2
-
11
-
-
0022246959
-
Modalities for model checking: Branching time strikes back
-
Emerson, E. A., and Lei, C. I., (1985), Modalities for model checking: Branching time strikes back, in "12th ACM Symp. on Principles of Prog. Lang.," pp. 84-96.
-
(1985)
12th ACM Symp. on Principles of Prog. Lang.
, pp. 84-96
-
-
Emerson, E.A.1
Lei, C.I.2
-
13
-
-
0003930956
-
-
Oxford Univ. Press, London
-
Gabbay, D., Hodkinson, I., and Reynolds, M. (1994), "Temporal Logic," Oxford Univ. Press, London.
-
(1994)
Temporal Logic
-
-
Gabbay, D.1
Hodkinson, I.2
Reynolds, M.3
-
14
-
-
0019112115
-
On the temporal analysis of fairness
-
Gabbay, D., Pnueli, A., Shelah, S., and Stavi, J. (1981), On the temporal analysis of fairness, in "7th ACM Symp. on Principles of Prog. Lang.," pp. 163-173.
-
(1981)
7th ACM Symp. on Principles of Prog. Lang.
, pp. 163-173
-
-
Gabbay, D.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
15
-
-
0000709230
-
The decision problem for branching time logic
-
Gurevich, Y., and Shelah, S. (1985), The decision problem for branching time logic, J. Symbolic Logic 50, 668-681.
-
(1985)
J. Symbolic Logic
, vol.50
, pp. 668-681
-
-
Gurevich, Y.1
Shelah, S.2
-
16
-
-
0001255444
-
Infinite games with perfect information
-
Gale, D., and Stewart, F. (1953), Infinite games with perfect information, Ann. Math. Stud. 28, 245-266.
-
(1953)
Ann. Math. Stud.
, vol.28
, pp. 245-266
-
-
Gale, D.1
Stewart, F.2
-
17
-
-
84968395752
-
Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
-
"Proceedings of ICALP'87: International Colloquium on Automata. Languages and Programming," Springer-Verlag, Berlin
-
Hafer, T., and Thomas, W. (1987), Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree, in "Proceedings of ICALP'87: International Colloquium on Automata. Languages and Programming," Lecture Notes in Computer Science, Vol. 267. pp. 269-279, Springer-Verlag, Berlin.
-
(1987)
Lecture Notes in Computer Science
, vol.267
, pp. 269-279
-
-
Hafer, T.1
Thomas, W.2
-
18
-
-
84956863045
-
Quantitative temporal logic
-
"Computer Science Logic 1999," Springer-Verlag, Berlin
-
Hirshfeld, Y., and Rabinovich. A. (1999), Quantitative temporal logic, in "Computer Science Logic 1999," Lecture Notes in Computer Science, Vol. 1683, pp. 172-187, Springer-Verlag, Berlin.
-
(1999)
Lecture Notes in Computer Science
, vol.1683
, pp. 172-187
-
-
Hirshfeld, Y.1
Rabinovich, A.2
-
20
-
-
0003944612
-
-
Cambridge Univ. Press, Cambridge, UK
-
Hodges, W. (1997), "A Shorter Model Theory," Cambridge Univ. Press, Cambridge, UK.
-
(1997)
A Shorter Model Theory
-
-
Hodges, W.1
-
22
-
-
84948963145
-
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
-
"Proceedings of CONCUR'96: International Conference on Concurrency Theory," Springer-Verlag, Berlin
-
Janin, D., and Walukiewicz, I. (1996), On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic, in "Proceedings of CONCUR'96: International Conference on Concurrency Theory," Lecture Notes in Computer Science, Vol. 1119, pp. 263-277, Springer-Verlag, Berlin.
-
(1996)
Lecture Notes in Computer Science
, vol.1119
, pp. 263-277
-
-
Janin, D.1
Walukiewicz, I.2
-
24
-
-
0000325206
-
Buy one, get one free!!!
-
Kupferman, O., and Grumberg, O. (1996), Buy one, get one free!!! J. Logic Comput. 6, 523-539.
-
(1996)
J. Logic Comput.
, vol.6
, pp. 523-539
-
-
Kupferman, O.1
Grumberg, O.2
-
29
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
Springer-Verlag, Berlin/New York
-
Park, D. M. R. (1981), "Concurrency and Automata on Infinite Sequences," Lecture Notes in Computer Science, Vol. 104, pp. 168-183, Springer-Verlag, Berlin/New York
-
(1981)
Lecture Notes in Computer Science
, vol.104
, pp. 168-183
-
-
Park, D.M.R.1
-
31
-
-
84968501436
-
Decidability of second order theories and automata on infinite trees
-
Rabin, M. O. (1969), Decidability of second order theories and automata on infinite trees, in Trans. Amer. Math. Soc. 141, 1-35.
-
(1969)
Trans. Amer. Math. Soc.
, vol.141
, pp. 1-35
-
-
Rabin, M.O.1
-
32
-
-
0013360768
-
Why so many temporal logics climb up the trees?
-
"Proceedings of MFCS 2000," Springer-Verlag, Berlin
-
Rabinovich, A., and Maoz, S. (2000), Why so many temporal logics climb up the trees? in "Proceedings of MFCS 2000," Lecture Notes in Computer Science, Vol. 1893, Springer-Verlag, Berlin.
-
(2000)
Lecture Notes in Computer Science
, vol.1893
-
-
Rabinovich, A.1
Maoz, S.2
-
33
-
-
84874753181
-
-
Research Report LSV-00-8, Lab. Specification and Verification, ENS de Cachan, Cachan, France
-
+," Research Report LSV-00-8, Lab. Specification and Verification, ENS de Cachan, Cachan, France.
-
(2000)
+
-
-
Rabinovich, A.1
Schnoebelen, Ph.2
-
35
-
-
85034592409
-
Yet another process logic
-
"Logics of Programs," Springer-Verlag, Berlin
-
Vardi, M., and Wolper, P. (1984), Yet another process logic, in "Logics of Programs," Lecture Notes in Computer Science, Vol. 164, pp. 501-512, Springer-Verlag, Berlin.
-
(1984)
Lecture Notes in Computer Science
, vol.164
, pp. 501-512
-
-
Vardi, M.1
Wolper, P.2
|