Non-bisimulation-based Markovian behavioral equivalences

Journal of Logic and Algebraic Programming

Volumn 72, Issue 1, 2007, Pages 3-49

  Bernardo, Marco ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

Behavioral equivalences; Bisimulation semantics; Markov chains; Process algebra; Testing semantics; Trace semantics

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; MATHEMATICAL OPERATORS; STATE SPACE METHODS;

BEHAVIORAL EQUIVALENCES; BISIMULATION SEMANTICS; PROCESS ALGEBRA; TESTING SEMANTICS; TRACE SEMANTICS;

MARKOV PROCESSES;

EID: 34248589054     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2007.02.002     Document Type: Article

References (23)

1. Baeten J.C.M., and Weijland W.P. Process Algebra (1990), Cambridge University Press
2. Baier C., Katoen J.-P., Hermanns H., and Wolf V. Comparative branching-time semantics for Markov chains. Inform. Comput. 200 (2005) 149-214
3. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Handbook of Process Algebra (2001), Elsevier
4. M. Bernardo, Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity, in: Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25), ENTCS, Bertinoro (Italy), 2005.
5. M. Bernardo, S. Botta, Modal logic characterization of Markovian testing and trace equivalences, in: Proc. of the 1st Int. Workshop on Logic, Models and Computer Science (LMCS 2006), ENTCS, Camerino (Italy), 2006.
6. Bernardo M., and Bravetti M. Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290 (2003) 117-160
7. Bernardo M., and Cleaveland R. A theory of testing for Markovian processes. Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000). LNCS vol. 1877 (2000), State College (PA) 305-319
8. Buchholz P. Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31 (1994) 59-75
9. I. Christoff, Testing equivalences and fully abstract models for probabilistic processes, in: Proc. of the 1st Int. Conf. on Concurrency Theory (CONCUR 1990), LNCS, vol. 458, Amsterdam (The Netherlands), 1990, pp. 126-140.
10. Cleaveland R., Dayar Z., Smolka S.A., and Yuen S. Testing preorders for probabilistic processes. Inform. Comput. 154 (1999) 93-148
11. Cleaveland R., and Hennessy M. Testing equivalence as a bisimulation equivalence. Formal Aspects Comput. 5 (1993) 1-20
12. De Nicola R., and Hennessy M. Testing equivalences for processes. Theor. Comput. Sci. 34 (1983) 83-133
13. van Glabbeek R.J., Smolka S.A., and Steffen B. Reactive, generative and stratified models of probabilistic processes. Inform. Comput. 121 (1995) 59-80
14. H. Hermanns, Interactive Markov Chains, LNCS 2428, 2002.
15. H. Hermanns, M. Rettelbach, Syntax, semantics, equivalences, and axioms for MTIPP, in: Proc. of the 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM 1994), Technical Report 27-4, Erlangen (Germany), 1994, pp. 71-87.
16. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
17. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice Hall
18. C.-C. Jou, S.A. Smolka, Equivalences, congruences, and complete axiomatizations for probabilistic processes, in: Proc. of the 1st Int. Conf. on Concurrency Theory (CONCUR 1990), LNCS, vol. 458, Amsterdam (The Netherlands), 1990, pp. 367-383.
19. Larsen K.G., and Skou A. Bisimulation through probabilistic testing. Inform. Comput. 94 (1991) 1-28
20. Milner R. Communication and Concurrency (1989), Prentice Hall
21. Nuñez M. Algebraic theory of probabilistic processes. J. Logic Algebr. Program. 56 (2003) 117-177
22. E.W. Stark, R. Cleaveland, S.A. Smolka, A process-algebraic language for probabilistic I/O automata, in: Proc. of the 14th Int. Conf. on Concurrency Theory (CONCUR 2003), LNCS, vol. 2761, Marseille (France), 2003, pp. 189-203.
23. V. Wolf, C. Baier, M. Majster-Cederbaum, Trace machines for observing continuous-time Markov chains, in: Proc. of the 3rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), ENTCS 153(2), Edinburgh (UK), 2005, pp. 259-277.