메뉴 건너뛰기




Volumn 18, Issue 1, 2008, Pages 29-55

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL OPERATORS; MODAL ANALYSIS; RANDOM PROCESSES;

EID: 40449118904     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129507006408     Document Type: Article
Times cited : (14)

References (22)
  • 1
    • 0023532827 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 0012268580 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


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