-
1
-
-
0023532827
-
Observational Equivalence as a Testing Equivalence
-
Abramsky, S. (1987) Observational Equivalence as a Testing Equivalence. Theoretical Computer Science 53 225-241.
-
(1987)
Theoretical Computer Science
, vol.53
, pp. 225-241
-
-
Abramsky, S.1
-
2
-
-
34248589054
-
Non-Bisimulation-Based Markovian Behavioral Equivalences
-
To appear in
-
Bernardo, M. (2007) Non-Bisimulation-Based Markovian Behavioral Equivalences. To appear in Journal of Logic and Algebraic Programming.
-
(2007)
Journal of Logic and Algebraic Programming
-
-
Bernardo, M.1
-
3
-
-
33847148847
-
Modal Logic Characterization of Markovian Testing and Trace Equivalences
-
Proc. of the First Int. Workshop on Logic, Models and Computer Science (LMCS, Camerino Italy
-
Bernardo, M. and Botta, S. (2006) Modal Logic Characterization of Markovian Testing and Trace Equivalences. In: Proc. of the First Int. Workshop on Logic, Models and Computer Science (LMCS 2006), Camerino (Italy). Electronic Notes in Theoretical Computer Science.
-
(2006)
Electronic Notes in Theoretical Computer Science
-
-
Bernardo, M.1
Botta, S.2
-
4
-
-
0037209806
-
Performance Measure Sensitive Congruences for Markovian Process Algebras
-
Bernardo, M. and Bravetti, M. (2003) Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science 290 117-160.
-
(2003)
Theoretical Computer Science
, vol.290
, pp. 117-160
-
-
Bernardo, M.1
Bravetti, M.2
-
5
-
-
84885232797
-
A Theory of Testing for Markovian Processes
-
Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR, State College PA
-
Bernardo, M. and Cleaveland, R. (2000) A Theory of Testing for Markovian Processes. In : Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000), State College (PA). Springer-Verlag Lecture Notes in Computer Science 1877 305-319.
-
(2000)
Springer-Verlag Lecture Notes in Computer Science
, vol.1877
, pp. 305-319
-
-
Bernardo, M.1
Cleaveland, R.2
-
6
-
-
0037209771
-
Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds
-
Bravetti, M. and Aldini, A. (2003) Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds Theoretical Computer Science 290 355-406.
-
(2003)
Theoretical Computer Science
, vol.290
, pp. 355-406
-
-
Bravetti, M.1
Aldini, A.2
-
7
-
-
85031934113
-
Testing Equivalences and Fully Abstract Models for Probabilistic Processes
-
Proc. of the First Int. Conf. on Concurrency Theory CONCUR, Amsterdam
-
Christoff, I. (1990) Testing Equivalences and Fully Abstract Models for Probabilistic Processes. In: Proc. of the First Int. Conf. on Concurrency Theory (CONCUR 1990), Amsterdam. SpringerVerlag Lecture Notes in Computer Science 458 126-140.
-
(1990)
SpringerVerlag Lecture Notes in Computer Science
, vol.458
, pp. 126-140
-
-
Christoff, I.1
-
8
-
-
84957644622
-
Specifying Performance Measures for PEPA
-
Proc. of the 5th AMAST Int. Workshop on Formal Methods for Real Time and Probabilistic Systems (ARTS, Bamberg Germany
-
Clark, G., Gilmore, S. and Hillston, J. (1999) Specifying Performance Measures for PEPA. In: Proc. of the 5th AMAST Int. Workshop on Formal Methods for Real Time and Probabilistic Systems (ARTS 1999), Bamberg (Germany). Springer-Verlag Lecture Notes in Computer Science 1601 211-227.
-
(1999)
Springer-Verlag Lecture Notes in Computer Science
, vol.1601
, pp. 211-227
-
-
Clark, G.1
Gilmore, S.2
Hillston, J.3
-
9
-
-
0012415707
-
Testing Preorders for Probabilistic Processes
-
Cleaveland, R., Dayar, Z., Smolka, S.A. and Yuen, S. (1999) Testing Preorders for Probabilistic Processes. Information and Computation 154 93-148.
-
(1999)
Information and Computation
, vol.154
, pp. 93-148
-
-
Cleaveland, R.1
Dayar, Z.2
Smolka, S.A.3
Yuen, S.4
-
11
-
-
0012268580
-
The Linear Time - Branching Time Spectrum I
-
Elsevier
-
van Glabbeek, R.J. (2001) The Linear Time - Branching Time Spectrum I. Handbook of Process Algebra, Elsevier 3-99.
-
(2001)
Handbook of Process Algebra
, pp. 3-99
-
-
van Glabbeek, R.J.1
-
12
-
-
0006419926
-
Reactive, Generative and Stratified Models of Probabilistic Processes
-
van Glabbeek, R. J., Smolka, S.A. and Steffen, B. (1995) Reactive, Generative and Stratified Models of Probabilistic Processes. Information and Computation 121 59-80.
-
(1995)
Information and Computation
, vol.121
, pp. 59-80
-
-
van Glabbeek, R.J.1
Smolka, S.A.2
Steffen, B.3
-
13
-
-
0022145767
-
-
Hennessy (1985), M. Acceptance Trees. Journal of the ACM 32 896-928.
-
Hennessy (1985), M. Acceptance Trees. Journal of the ACM 32 896-928.
-
-
-
-
14
-
-
0021974161
-
Algebraic Laws for Nondeterminism and Concurrency
-
Hennessy, M. and Milner, R. (1985) Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32 137-162.
-
(1985)
Journal of the ACM
, vol.32
, pp. 137-162
-
-
Hennessy, M.1
Milner, R.2
-
18
-
-
34249875619
-
Equivalences, Congruences and Complete Axiomatizations for Probabilistic Processes
-
Proc. of the First Int. Conf. on Concurrency Theory (CONCUR, Amsterdam The Netherlands
-
Jou, C.-C. and Smolka, S.A. (1990) Equivalences, Congruences and Complete Axiomatizations for Probabilistic Processes. In: Proc. of the First Int. Conf. on Concurrency Theory (CONCUR 1990), Amsterdam (The Netherlands). Springer-Verlag Lecture Notes in Computer Science 458 367-383.
-
(1990)
Springer-Verlag Lecture Notes in Computer Science
, vol.458
, pp. 367-383
-
-
Jou, C.-C.1
Smolka, S.A.2
-
19
-
-
0006470244
-
A Testing Equivalence for Reactive Probabilistic Processes, Nice (France)
-
Proc. of the 2nd Int. Workshop on Expressiveness in Concurrency EXPRESS
-
Kwiatkowska, M.Z. and Norman, G.J. (1998) A Testing Equivalence for Reactive Probabilistic Processes, Nice (France). In: Proc. of the 2nd Int. Workshop on Expressiveness in Concurrency (EXPRESS 1998). Electronic Notes in Theoretical Computer Science 16 (2) 114-132.
-
(1998)
Electronic Notes in Theoretical Computer Science
, vol.16
, Issue.2
, pp. 114-132
-
-
Kwiatkowska, M.Z.1
Norman, G.J.2
-
20
-
-
0026222347
-
Bisimulation through Probabilistic Testing
-
Larsen, K. G. and Skou, A. (1991) Bisimulation through Probabilistic Testing. Information and Computation 94 1-28.
-
(1991)
Information and Computation
, vol.94
, pp. 1-28
-
-
Larsen, K.G.1
Skou, A.2
-
22
-
-
33646389825
-
Trace Machines for Observing Continuous-Time Markov Chains
-
Proc. of the 3rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL, Edinburgh UK
-
Wolf, V., Baier, C. and Majster-Cederbaum, M. (2005) Trace Machines for Observing Continuous-Time Markov Chains. In: Proc. of the 3rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Edinburgh (UK). Electronic Notes in Theoretical Computer Science 153 (2) 259-277.
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.153
, Issue.2
, pp. 259-277
-
-
Wolf, V.1
Baier, C.2
Majster-Cederbaum, M.3
|