Modal Logic Characterization of Markovian Testing and Trace Equivalences

Electronic Notes in Theoretical Computer Science

Volumn 169, Issue SUPPL., 2007, Pages 7-18

  Bernardo, Marco ^a   Botta, Stefania ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; MODAL ANALYSIS; PROBABILISTIC LOGICS;

HENNESSY-MILNER LOGIC; MARKOVIAN BEHAVIORAL EQUIVALENCES; MODAL LOGIC;

MARKOV PROCESSES;

EID: 33847148847     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.07.024     Document Type: Article

References (10)

1. Bernardo M. Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. (APC 25), Bertinoro (Italy). ENTCS (2005)
2. Bernardo M., and Bravetti M. Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science 290 (2003) 117-160
3. Bernardo M., and Cleaveland W.R. A Theory of Testing for Markovian Processes. Proc. of the 11th Int. Conf. on Concurrency Theory. (CONCUR 2000), State College (PA). LNCS 1877 (2000) 305-319
4. Clark G., Gilmore S., and Hillston J. Specifying Performance Measures for PEPA. Proc. of the 5th AMAST Int. Workshop on Formal Methods for Real Time and Probabilistic Systems. (ARTS 1999), Bamberg (Germany). LNCS 1601 (1999) 211-227
5. Hennessy M. Acceptance Trees. Journal of the ACM 32 (1985) 896-928
6. Hennessy M., and Milner R. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32 (1985) 137-162
7. Hermanns H. Interactive Markov Chains. LNCS 2428 (2002)
8. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
9. Kwiatkowska M.Z., and Norman G.J. A Testing Equivalence for Reactive Probabilistic Processes. Proc. of the 2nd Int. Workshop on Expressiveness in Concurrency. (EXPRESS 1998), Nice (France). ENTCS 16 (1998) 114-132
10. Wolf V., Majster-Cederbaum M., and Baier C. Trace Machines for Observing Continuous-Time Markov Chains. Proc. of the 3rd Int. Workshop on Quantitative Aspects of Programming Languages. (QAPL 2005), Edinburgh (UK). ENTCS (2005)