메뉴 건너뛰기




Volumn 4, Issue 3, 2008, Pages

Game refinement relations and metrics

Author keywords

regular properties; Equivalence of states; Game semantics; Metrics; Minimax theorem; Probabilistic choice; Quantitative calculus; Refinement of states

Indexed keywords

EQUIVALENCE OF STATES; GAME SEMANTICS; METRICS; MINIMAX THEOREM; PROBABILISTIC CHOICES; REFINEMENT OF STATES; REGULAR PROPERTIES;

EID: 78249288583     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-4(3:7)2008     Document Type: Article
Times cited : (35)

References (33)
  • 1
    • 0042908709 scopus 로고    scopus 로고
    • 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
  • 13
    • 0003096318 scopus 로고
    • 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
  • 17
    • 49049126479 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


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