-
1
-
-
0042908709
-
Alternating time temporal logic
-
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating time temporal logic. J. ACM, 49: 672-713, 2002.
-
(2002)
J. ACM
, vol.49
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
2
-
-
84945914804
-
Alternating refinement relations
-
In,. Springer-Verlag
-
R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi. Alternating refinement relations. In CONCUR 98: Concurrency Theory. 9th Int. Conf., volume 1466 of Lect. Notes in Comp. Sci., pages 163-178. Springer-Verlag, 1998.
-
(1998)
CONCUR 98: Concurrency Theory. 9th Int. Conf., volume 1466 of Lect. Notes in Comp. Sci
, pp. 163-178
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
Vardi, M.Y.4
-
3
-
-
77049084629
-
It usually works: The temporal logic of stochastic systems
-
In, volume 939 of Lect. Notes in Comp. Sci. Springer-Verlag
-
A. Aziz, V. Singhal, F. Balarin, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. It usually works: The temporal logic of stochastic systems. In Computer Aided Verification, volume 939 of Lect. Notes in Comp. Sci. Springer-Verlag, 1995.
-
(1995)
Computer Aided Verification
-
-
Aziz, A.1
Singhal, V.2
Balarin, F.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.L.5
-
6
-
-
35248855366
-
Discounting the future in systems theory
-
In,. Springer-Verlag
-
L. de Alfaro, T. A. Henzinger, and R. Majumdar. Discounting the future in systems theory. In Proc. 30th Int. Colloq. Aut. Lang. Prog., volume 2719 of Lect. Notes in Comp. Sci., pages 1022-1037. Springer-Verlag, 2003.
-
(2003)
Proc. 30th Int. Colloq. Aut. Lang. Prog., volume 2719 of Lect. Notes in Comp. Sci
, pp. 1022-1037
-
-
de Alfaro, L.1
Henzinger, T.A.2
Majumdar, R.3
-
9
-
-
84888220414
-
Metrics for labelled markov systems
-
In,. Springer
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Metrics for labelled markov systems. In CONCUR 99: Concurrency Theory. 10th Int. Conf., volume 1664 of Lect. Notes in Comp. Sci., pages 258-273. Springer, 1999.
-
(1999)
CONCUR 99: Concurrency Theory. 10th Int. Conf., volume 1664 of Lect. Notes in Comp. Sci
, pp. 258-273
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
11
-
-
0036052667
-
The metric analogue of weak bisimulation for probabilistic processes
-
In
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. The metric analogue of weak bisimulation for probabilistic processes. In Proc. 17th IEEE Symp. Logic in Comp. Sci., pages 413-422, 2002.
-
(2002)
Proc. 17th IEEE Symp. Logic in Comp. Sci
, pp. 413-422
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
13
-
-
0003096318
-
A logic for reasoning about time and reliability
-
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Asp. Comput., 6(5): 512-535, 1994.
-
(1994)
Formal Asp. Comput
, vol.6
, Issue.5
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
14
-
-
34249875619
-
Equivalences, congruences and complete axiomatizations for probabilistic processes
-
In,. Springer-Verlag
-
C.-C. Jou and S. A. Smolka. Equivalences, congruences and complete axiomatizations for probabilistic processes. In CONCUR 90: Concurrency Theory. 1st Int. Conf., volume 458 of Lect. Notes in Comp. Sci., pages 367-383. Springer-Verlag, 1990.
-
(1990)
CONCUR 90: Concurrency Theory. 1st Int. Conf., volume 458 of Lect. Notes in Comp. Sci
, pp. 367-383
-
-
Jou, C.-C.1
Smolka, S.A.2
-
17
-
-
49049126479
-
Results on the propositional μ-calculus
-
D. Kozen. Results on the propositional μ-calculus. Theoretical Computer Science, 27(3): 333-354, 1983.
-
(1983)
Theoretical Computer Science
, vol.27
, Issue.3
, pp. 333-354
-
-
Kozen, D.1
-
18
-
-
70349885792
-
Compositional verification of probabilistic processes
-
In W.R. Cleaveland, editor, volume 630 of Lect. Notes in Comp. Sci. Springer-Verlag
-
K. G. Larsen and A. Skou. Compositional verification of probabilistic processes. In W. R. Cleaveland, editor, CONCUR 92: Concurrency Theory. 3rd Int. Conf., volume 630 of Lect. Notes in Comp. Sci. Springer-Verlag, 1992.
-
(1992)
CONCUR 92: Concurrency Theory. 3rd Int. Conf
-
-
Larsen, K.G.1
Skou, A.2
-
20
-
-
0032281306
-
The determinacy of Blackwell games
-
D. A. Martin. The determinacy of Blackwell games. The Journal of Symbolic Logic, 63(4): 1565-1581, 1998.
-
(1998)
The Journal of Symbolic Logic
, vol.63
, Issue.4
, pp. 1565-1581
-
-
Martin, D.A.1
-
22
-
-
0003037229
-
Operational and algebraic semantics of concurrent processes
-
In J. van Leeuwen, editor, volume B,. Elsevier Science Publishers (North-Holland), Amsterdam
-
R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 1202-1242. Elsevier Science Publishers (North-Holland), Amsterdam, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 1202-1242
-
-
Milner, R.1
-
26
-
-
0001609136
-
Probabilistic simulations for probabilistic processes
-
R. Segala and N. A. Lynch. Probabilistic simulations for probabilistic processes. Nordic Journal of Com-puting, 2(2): 250-273, 1995.
-
(1995)
Nordic Journal of Com-puting
, vol.2
, Issue.2
, pp. 250-273
-
-
Segala, R.1
Lynch, N.A.2
-
28
-
-
84972513554
-
On general minimax theorems
-
M. Sion. On general minimax theorems. Pacific Journal of Mathematics., 8: 171-176, 1958.
-
(1958)
Pacific Journal of Mathematics
, vol.8
, pp. 171-176
-
-
Sion, M.1
|