Mixing up nondeterminism and probability: A preliminary report

Electronic Notes in Theoretical Computer Science

Volumn 22, Issue , 1999, Pages 88-110

  Den Hartog, J I ^a   De Vink, E P ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBABILITY; RANDOM PROCESSES; SEMANTICS;

AXIOMATIC MODELS; NONDETERMINISM; OPERATIONAL SEMANTICS; SYNCHRONOUS PRODUCTS;

FORMAL LANGUAGES;

EID: 18944379421     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82521-6     Document Type: Conference Paper

References (25)

1. S. Andova. Process algebra with probabilistic choice. In Proceedings ARTS′99, Bamberg, 1999. LNCS. to appear.
2. J.C.M. Baeten and J.A. Bergstra. Process algebra with partial choice. In B. Jonsson and J. Parrow, editors, Proc. CONCUR′94, pages 465-480. LNCS 836, 1994.
3. Baier C., Kwiatkowska M. Domain equations for probabilistic processes (extended abstract). Proc. Express′97. Electronic Notes in Theoretical Computer Science. 7:1997
4. de Bakker J.W., de Vink E.P. Control Flow Semantics. 1996;The MIT Press
5. Blute R., Desharnais J., Edalat A., Panangaden P. Bisimulation for labelled Markov processes. Proc. LICS′97. 1997;149-159. Warsaw
6. J.-P. Katoen D'Argenio, P.R. and E. Brinksma. A stochastic automata model and its algebraic approach. In Proc. PAPM′97, pages 1-16. University of Twente, Enschede, 1995.
7. Appeared as CTIT Technical Report 97-14.
8. Edalat A. Domain theory and integration. Theoretical Computer Science. 151:1995;163-193
9. A. Giacalone, C. Jou, and S.A. Smolka. Algebraic reasoning for probabilisitic concurrent systems. In M. Broy and C.B Jones, editors, Proc. Working Conference on Programming Concepts and Methods, pages 443-458. IFIP TC2, Sea of Gallilee, 1990.
10. van Glabbeek R.J., Smolka S.A., Steffen B. Reactive, generative and stratified models of probabilistic processes. Information and Computation. 121:1995;59-80
11. Gregorio-Rodríguez C., Núnez M. Denotational semantics for probabilistic testing. Baier C., Huth M., Kwiatkoswka M., Ryan M. Preliminary proceedings PROBMIV′98. 1998;122-137 University of Birmingham. Appeared as technical report CSR- 98-4
12. den Hartog J.I. Comparative semantics for a process language with probabilistic choice and non-determinism. Technical Report IR - 445. 1998;Vrije Universiteit, Amsterdam
13. Jifeng H., Mclver A., Seidel K. Probabilistic models for the guarded command language. Technical report. 1995;Oxford University Computing Laboratory. To appear in Science of Computer Programming
14. Hoare. Communicating Sequential Processes. 1985;Prentice Hall International
15. Baeten J.C.M., Bergstra J.A., Smolka S.A. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation. 121:1995;234-255
16. Jones C., Plotkin G. A probabilistic powerdomain of evaluations. Proc. LICS′89. 1989;186-195. Asilomar
17. Kok J.N., Rutten J.J.M.M. Contractions in comparing concurrency semantics. Theoretical Computer Science. 76:1990;179-222
18. Kwiatkowska M., Norman G. Probabilistic metric semantics for a simple language with recursion. Penczek W., Szalas A. Proc. MFCS′96. 1996;419-430. LNCS 1113
19. Larsen K.G., Skou A. Bisimulation through probabilistic testing. Information and Computation. 94:1991;1-28
20. Lowe G. Representing nondeterminism and probabilistic behaviour in reactive processes. Technical Report PRG-TR-. 1993;11-93. Oxford University Computing Laboratory
21. Segala R. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis. 1995;MIT
22. Segala R., Lynch N. Probabilistic simulations for probabilistic processes. Jonsson B., Parrow J. Proc. CONCUR′94. 1994;481-495 LNCS 836
23. Seidel K. Probabilistic communicating processes. Theoretical Computer Science. 152:1995;219-249
24. de Vink E.P., Rutten J.J.M.M. Bisimulation for probabilistic transition systems: a coalgebraic approach. Degano P., Gorrieri R., Marchetti-Spaccamela A. Proc. ICALP′97. 1997;460-470 LNCS 1256
25. Sue-Hwey Wu, Smolka S.A., Stark E.W. Composition and behaviors of probabilistic I/O automata. Theoretical Computer Science. 176:1997;1-38