메뉴 건너뛰기




Volumn 16, Issue 2, 1998, Pages 114-132

A testing equivalence for reactive probabilistic processes

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER SIMULATION; MATHEMATICAL MODELS; RANDOM PROCESSES;

EID: 0006470244     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00121-5     Document Type: Conference Paper
Times cited : (27)

References (27)
  • 1
    • 0023532827 scopus 로고
    • Observational equivalence as a testing equivalence
    • Abramsky S. Observational equivalence as a testing equivalence. Theoretical Computer Science. 53:1987;225-241
    • (1987) Theoretical Computer Science , vol.53 , pp. 225-241
    • Abramsky, S.1
  • 2
    • 84957643365 scopus 로고    scopus 로고
    • Polynomial time algorithms for testing probabilistic bisimulation and simulation
    • Springer Verlag
    • C. Baier. Polynomial time algorithms for testing probabilistic bisimulation and simulation. In Proc. CAV'96, volume 1102 of Lecture Notes in Computer Science, pages 38-49, Springer Verlag, 1996.
    • (1996) Proc. CAV'96, Volume 1102 of Lecture Notes in Computer Science , vol.1102 , pp. 38-49
    • Baier, C.1
  • 7
    • 0021465083 scopus 로고
    • A theory of communicating sequential processes
    • Brookes S.D., Hoare C.A.R., Roscoe A.W. A theory of communicating sequential processes. Journal of the ACM. 31:(3):1984;560-599
    • (1984) Journal of the ACM , vol.31 , Issue.3 , pp. 560-599
    • Brookes, S.D.1    Hoare, C.A.R.2    Roscoe, A.W.3
  • 10
    • 84919345149 scopus 로고
    • The linear time-branching time spectrum
    • J.C.M. Beaten and J.W. Klop editors Springer Verlag
    • R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Beaten and J.W. Klop editors, Proc. CONCUR'90, volume 458 of Lecture Notes in Computer Science, pages 278-297, Springer Verlag, 1990.
    • (1990) Proc. CONCUR'90, Volume 458 of Lecture Notes in Computer Science , vol.458 , pp. 278-297
    • Van Glabbeek, R.J.1
  • 12
    • 0003255290 scopus 로고
    • Time and probability in the formal design of distributed systems
    • Elsevier
    • H.A. Hansson. Time and probability in the formal design of distributed systems. Volume 1 of Real-Time Safety Critical Systems, Elsevier, 1994.
    • (1994) Real-time Safety Critical Systems , vol.1
    • Hansson, H.A.1
  • 15
    • 19144370671 scopus 로고    scopus 로고
    • The interval domain: A matchmaker for aCTL and aPCTL
    • Department of Computing and Information Sciences, Kansas State University
    • M. Huth. The interval domain: a matchmaker for aCTL and aPCTL. Technical Report CIS-97-17, Department of Computing and Information Sciences, Kansas State University, 1997.
    • (1997) Technical Report , vol.CIS-97-17
    • Huth, M.1
  • 16
    • 1542392522 scopus 로고    scopus 로고
    • Comparing CTL and PCTL on labeled Markov chains
    • IFIP, Chapman & Hall
    • M. Huth and M.Z. Kwiatkowska. Comparing CTL and PCTL on labeled Markov chains. In PROCOMET'98, IFIP, Chapman & Hall, 1998.
    • (1998) PROCOMET'98
    • Huth, M.1    Kwiatkowska, M.Z.2
  • 17
    • 34249875619 scopus 로고
    • Equivalences, congruences and complete axiomatisations for probabilistic processes
    • J.C.M. Baeten and J.W. Klop, editors Springer Verlag
    • C-C. Jou and S.A. Smolka. Equivalences, congruences and complete axiomatisations for probabilistic processes. In J.C.M. Baeten and J.W. Klop, editors, CONCUR'90, volume 458 of Lecture Notes in Computer Science, pages 367-383, Springer Verlag, 1990.
    • (1990) CONCUR'90, Volume 458 of Lecture Notes in Computer Science , vol.458 , pp. 367-383
    • Jou, C.-C.1    Smolka, S.A.2
  • 19
    • 0026222347 scopus 로고
    • Bisimulation through probabilistic testing
    • Larsen K.G., Skou A. Bisimulation through probabilistic testing. Information and Computation. 94:(1):1991;1-28
    • (1991) Information and Computation , vol.94 , Issue.1 , pp. 1-28
    • Larsen, K.G.1    Skou, A.2
  • 20
    • 0003592936 scopus 로고
    • Representing nondeterministic and probabilistic behaviour in reactive processes
    • G. Lowe. Representing nondeterministic and probabilistic behaviour in reactive processes. Technical Report, 1993. Available at http://www.mcs.le.ac. uk/~glowe/publications.html.
    • (1993) Technical Report
    • Lowe, G.1
  • 25
    • 84937444411 scopus 로고
    • Probabilistic simulations for probabilistic processes
    • B. Jonsson and J. Parrow, editors Springer
    • R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. In B. Jonsson and J. Parrow, editors, Proc. CONCUR'94, volume 836 of Lecture Notes in Computer Science, pages 481-496, Springer, 1994.
    • (1994) Proc. CONCUR'94, Volume 836 of Lecture Notes in Computer Science , vol.836 , pp. 481-496
    • Segala, R.1    Lynch, N.2
  • 26
    • 0029481057 scopus 로고
    • Probabilistic communicating processes
    • Seidel K. Probabilistic communicating processes. Theoretical Computer Science. 152:1995;219-249
    • (1995) Theoretical Computer Science , vol.152 , pp. 219-249
    • Seidel, K.1


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