1. J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Technical Report, Dept. of Math and Computing Science, Technical University of Eindhoven, Eindhoven, The Netherlands, 1992.
2. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Computation, 60:109–137, 1984.
3. B. Bloom and A. R. Meyer. A remark on bisimulation between probabilistic processes. In Meyer and Tsailin, editors, Logik at Botik, Springer-Verlag, 1989.
4. J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in Computer Science 18, Cambridge University Press, 1990.
5. Technical Report DoCS 90/22;I. Christoff,1990