Reactive, generative, and stratified models of probabilistic processes

Information and Computation

Volumn 121, Issue 1, 1995, Pages 59-80

  Vanglabbeek, Rob J ^a   Smolka, Scott A ^b   Steffen, Bernhard ^c  

^a STANFORD UNIVERSITY   (United States)

^b STONY BROOK UNIVERSITY   (United States)

^c UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006419926     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1006/inco.1995.1123     Document Type: Article

References (25)

1. J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka, (1992), “Axiomatizing Probabilistic Processes: ACP with Generative Probabilities, ” technical report. Dept. of Math and Computing Science, Technical University of Eindhoven, Eindhoven. The Netherlands. To appear in Inform, and Compul. Extended abstract in W. R. Cleaveland (Ed.), "Proceedings of CONCUR "92, " LNCS 630, pp. 472-485, Springer-Verlag, Berlin.
2. B. Bloom and A. R. Meyer (1989), A remark on bisimulation between probabilistic processes, in Meyer and Tsailin (Eds.). "Logik at Botik, " LNCS 363, pp. 26-40, Springer-Verlag, Berlin.
3. I. Christoff (1990), "Testing Equivalences for Probabilistic Processes, " technical report DoCS 90/22, Ph.D. thesis. Department of Computer Science, Uppsala University, Uppsala, Sweden. See also Testing equivalences and fully abstract models for probabilistic processes, in J. C. M. Baeten & J. W. Klop (Eds.), "Proceedings of CONCUR'90, " LNCS 458, pp. 126-140, Springer-Verlag, Berlin.
4. R. Cleaveland, S. A. Smolka, and A. E. Zwarico, (1992). Testing preorders for probabilistic processes, in W. Kuich (Ed.). "Proceedings of the 19th ICALP." LNCS 623. Springer-Verlag, Berlin.
5. A. Giacalone, C.-C. Jou, and S. A. Smolka (1990). Algebraic reasoning for probabilistic concurrent systems, in M. Broy and C. B. Jones (Eds.), "Proceedings Working Conference on Programming Concepts and Methods. IF1P TC 2. Sea of Gallilee, Israel, " pp. 443-458.
6. R. J. van Glabbeek, S. A. Smolka, B. Steffen, and C. M. N. Tofts (1990), Reactive, generative, and stratified models of probabilistic processes, in "Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, " pp. 130-141.
7. H. Hansson and B. Jonsson (1990), A calculus for communicating systems with time and probabilities, in "Proceedings of the 11th IEEE Symposium on Real-Time Systems, Orlando. Florida."
8. C. Jones and G. D. Plotkin (1989), A probabilistic power-domain of evaluations, in "Proceedings of the 4th Annual IEEE Symposium on Logic in Computer Science."
9. B. Jonsson and K. G. Larsen (1991), Specification and refinement of probabilistic processes, in "Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science, Amsterdam."
10. C.-C. Jou and S. A. Smolka (1990), Equivalences, congruences, and complete axiomatizations for probabilistic processes. in J. C. M. Baeten and J. W. Klop (Eds.), "Proceedings of CONCUR '90, " LNCS 458, pp. 367-383, Springer-Verlag. Berlin.
11. G. Lowe (1991), "Prioritized and Probabilistic Models of Timed CSP, " technical report PRG-TR-24-91. Oxford University Computing Laboratory. Programming Research Group, 11 Keble Road. Oxford OX1 3QD, England.
12. K. G. Larsen and A. Skou, (1991), Bisimulation through probabilistic testing. Inform, and Compul. 94 (1), 1-28; preliminary report in "Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, 1989."
13. K. G. Larsen and A. Skou (1992), Compositional verification of probabilistic processes, in W. R. Cleaveland (Ed), "Proceedings of CONCUR '92, " LNCS 630, pp. 456-471, Springer-Verlag, Berlin.
14. K. G. Larsen and A. Skou, (1992), personal communication.
15. R. Milner (1980), "A Calculus of Communicating Systems, " LNCS 92. Springer-Verlag, Berlin.
16. R. Milner (1983). Calculi for synchrony and asynchrony, Theoret. comput. Sci. 25, 267-310.
17. R. Milner (1989), "Communication and Concurrency, " International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ.
18. D. M. R. Park (1981), Concurrency and automata on infinite sequences, in P. Deussen (Ed.), "Proceedings of the 5th G. 1. Conference on Theoretical Computer Science, " LNCS 104, pp. 167-183, Springer-Verlag, Berlin.
19. G. D. Plotkin (1981), "A Structural Approach to Operational Semantics, " technical report DAIMI FN-19, Computer Science Department, Aarhus University.
20. A. Pnueli (1985), Linear and branching structures in the semantics and logics of reactive systems, in W. Brauer (Ed.), "Proceedings of the 12th 1CALP, Nafplion, " LNCS 194, pp. 15-32, Springer-Verlag, Berlin.
21. K. Seidel (1992), "Probabilistic Communicating Processes, " technical report PRG-102, Oxford University Computing Laboratory. Programming Research Group, 11 Keble Road, Oxford OX1 3QD, England.
22. S. A. Smolka and B. U. Steffen (1990), Priority as extremal probability, in J. C. M. Baeten and J. W. Klop (Eds.), "Proceedings of CONCUR '90, " LNCS 458. pp. 456-466. Springer-Verlag, Berlin.
23. C. M. N. Tofts (1990), "Proof Methods and Pragmatics for Parallel Programming, " Ph.D. thesis, LFCS, University of Edinburgh.
24. C. M. N. Tofts (1990), A synchronous calculus of relative frequency, in J. C. M. Baeten and J. W. Klop (Eds.), "Proceedings of CONCUR '90, " LNCS 458, pp. 467-480, Springer-Verlag, Berlin.
25. W. Yi and K. G. Larsen (1992), Testing probabilistic and nondeterministic processes, in "Proceedings of Protocol Specification, Testing and Verification 12, " pp. 47-61.