Axiomatizations for probabilistic finite-state behaviors

Theoretical Computer Science

Volumn 373, Issue 1-2, 2007, Pages 92-114

  Deng, Yuxin ^a   Palamidessi, Catuscia ^b  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Axiomatizations; Behavioral equivalences; Nondeterminism; Probability; Process calculus

Indexed keywords

COMPUTER SCIENCE; PROBABILITY; RECURSIVE FUNCTIONS;

AXIOMATIZATIONS; BEHAVIORAL EQUIVALENCES; NONDETERMINISM; PROCESS CALCULUS;

FINITE AUTOMATA;

EID: 33847253419     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.12.008     Document Type: Article

References (28)

1. L. Aceto, Z. Ésik, A. Ingólfsdóttir, Equational axioms for probabilistic bisimilarity (preliminary report), Technical Report RS-02-6, BRICS, 2002
2. S. Andova, Process algebra with probabilistic choice, Technical Report CSR 99-12, Eindhoven University of Technology, 1999
3. Andova S., and Baeten J.C.M. Abstraction in probabilistic process algebra. Tools and Algorithms for the Construction and Analysis of Systems. LNCS vol. 2031 (2001), Springer 204-219
4. Baeten J.C.M., Bergstra J.A., and Smolka S.A. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation 121 2 (1995) 234-255
5. Baier C., and Hermanns H. Weak bisimulation for fully probabilistic processes. Proceedings of the 9th International Conference on Computer Aided Verification. LNCS vol. 1254 (1997), Springer 119-130
6. Bandini E., and Segala R. Axiomatizations for probabilistic bisimulation. Proceedings of the 28th International Colloquium on Automata, Languages and Programming. LNCS vol. 2076 (2001), Springer 370-381
7. Cattani S., and Segala R. Decision algorithms for probabilistic bisimulation. Proceedings of the 13th International Conference on Concurrency Theory. LNCS vol. 2421 (2002), Springer 371-385
8. D'Argenio P.R., Hermanns H., and Katoen J.-P. On generative parallel composition. ENTCS 22 (1999)
9. Deng Y., Palamidessi C., and Pang J. Compositional reasoning for probabilistic finite-state behaviors. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. LNCS vol. 3838 (2005), Springer 309-337
10. Fu Y., and Yang Z. Tau laws for pi calculus. Theoretical Computer Science 308 (2003) 55-130
11. J. Groote, A. Ponse, The syntax and semantics of μCRL, Technical Report CS-R9076, CWI, Amsterdam, 1990
12. O.M. Herescu, C. Palamidessi, Probabilistic asynchronous pi-calculus, Technical Report, INRIA Futurs and LIX, 2004
13. Milner R. A complete inference system for a class of regular behaviours. Journal of Computer and System Science 28 (1984) 439-466
14. Milner R. Communication and Concurrency (1989), Prentice-Hall
15. Milner R. A complete axiomatisation for observational congruence of finite-state behaviours. Information and Computation 81 (1989) 227-247
16. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
17. Mislove M.W., Ouaknine J., and Worrell J. Axioms for probability and nondeterminism. ENTCS 96 (2004) 7-28
18. Palamidessi C. Comparing the expressive power of the synchronous and the asynchronous pi-calculus. Mathematical Structures in Computer Science 13 5 (2003) 685-719
19. C. Palamidessi, O.M. Herescu, A randomized encoding of the π-calculus with mixed choice, Technical Report, INRIA Futurs and LIX, 2004
20. Philippou A., Lee I., and Sokolsky O. Weak bisimulation for probabilistic systems. Proceedings of the 11th International Conference on Concurrency Theory. LNCS (2000), Springer 334-349
21. Sangiorgi D., and Walker D. The π-calculus: A Theory of Mobile Processes (2001), Cambridge University Press
22. R. Segala, Modeling and verification of randomized distributed real-time systems, Technical Report MIT/LCS/TR-676, Ph.D. Thesis, Dept. of EECS, MIT, 1995
23. Segala R., and Lynch N. Probabilistic simulations for probabilistic processes. Proceedings of the 5th International Conference on Concurrency Theory. LNCS vol. 836 (1994), Springer 481-496
24. Sokolova A., and de Vink E. Probabilistic automata: System types, parallel composition and comparison. Validation of Stochastic Systems: A Guide to Current Research. LNCS vol. 2925 (2004), Springer 1-43
25. Stark E.W., and Smolka S.A. A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction: Essays in Honour of Robin Milner (2000), MIT Press 571-595
26. M. Stoelinga, Alea jacta est: Verification of probabilistic, real-time and parametric systems, Ph.D. Thesis, University of Nijmegen, 2002
27. J. van de Pol, A prover for the muCRL toolset with applications-version 0.1, Technical Report SEN-R0106, CWI, Amsterdam, 2001
28. van Glabbeek R.J., Smolka S.A., and Steffen B. Reactive, generative, and stratified models of probabilistic processes. Information and Computation 121 1 (1995) 59-80