-
1
-
-
0023532827
-
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
-
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
-
6
-
-
85037037767
-
A remark on bisimulation between probabilistic processes
-
A.R. Meyer and M.A. Taitslin, editors Springer Verlag
-
B. Bloom and A.R. Meyer. A remark on bisimulation between probabilistic processes. In A.R. Meyer and M.A. Taitslin, editors, Symp. on Logical Foundations of Computer Science, volume 363 of Lecture Notes in Computer Science, pages 26-40, Springer Verlag, 1989.
-
(1989)
Symp. on Logical Foundations of Computer Science, Volume 363 of Lecture Notes in Computer Science
, vol.363
, pp. 26-40
-
-
Bloom, B.1
Meyer, A.R.2
-
9
-
-
0002741096
-
Algebraic reasoning for probabilistic concurrent systems
-
M. Broy and C.B. Jones, editors Sea of Galilee, Israel
-
A. Giacalone, C-C. Jou and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In M. Broy and C.B. Jones, editors, Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, pages 443-458, 1990.
-
(1990)
Proc. IFIP TC2 Working Conference on Programming Concepts and Methods
, pp. 443-458
-
-
Giacalone, A.1
Jou, C.-C.2
Smolka, S.A.3
-
10
-
-
84919345149
-
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
-
11
-
-
0025625503
-
Reactive, generative and stratified models of probabilistic processes
-
R.J. van Glabbeek, S.A. Smolka, B. Steffen and C.M.N. Tofts. Reactive, generative and stratified models of probabilistic processes. In Proc. 5th IEEE Int. Symp. on Logic in Computer Science (LICS), pages 130-141, 1990.
-
(1990)
Proc. 5th IEEE Int. Symp. on Logic in Computer Science (LICS)
, pp. 130-141
-
-
Van Glabbeek, R.J.1
Smolka, S.A.2
Steffen, B.3
Tofts, C.M.N.4
-
12
-
-
0003255290
-
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
-
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
-
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
-
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
-
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
-
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
-
22
-
-
0000921963
-
Refinement-oriented probability for CSP
-
Morgan C., McIver A., Seidel K., Sanders J.W. Refinement-oriented probability for CSP. Formal Aspects of Computing. 8:(6):1996;617-647
-
(1996)
Formal Aspects of Computing
, vol.8
, Issue.6
, pp. 617-647
-
-
Morgan, C.1
McIver, A.2
Seidel, K.3
Sanders, J.W.4
-
25
-
-
84937444411
-
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
-
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
|