1. J. Aspnes and M.P. Herlihy. Fast randomized consensus using shared memory. Journal of Algorithms, 15 (1): 441–460, September 1990.
2. M. Ben-Or. Another advantage of free choice: completely asynchronous agreement protocols. In Proceedings of the 2nd PODC, August 1983.
3. I. Christoff. Testing equivalences for probabilistic processes. Technical Report DoCS 90/22, Ph.D. Thesis, Department of Computer Science, Uppsala University, Sweden, 1990.
4. M. Fischer and L. Zuck. Reasoning about uncertainty in fault tolerant distributed systems. In Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 331, pages 142–158, 1988.
5. R.J. van Glabbeek, S.A. Smolka, B. Steffen, and C.M.N. Tofts. Reactive, generative, and stratified models of probabilistic processes. In Proceedings 5th LICS, pages 130–141. IEEE Computer Society Press, 1990.