1. Randomized function evaluation on a ring

   • Karl Abrahamson
   • Andrew Adler
   • David Kirkpatrick

   OriginalPaper Pages: 107 - 117

2. Probabilistic verification of communication protocols

   • N. F. Maxemchuk
   • Krishan Sabnani

   OriginalPaper Pages: 118 - 129

3. Step semantics for “true” concurrency with recursion

   • J. -J. C. Meyer
   • E. P. de Vink

   OriginalPaper Pages: 130 - 145

4. Probabilistic clock synchronization

   • Flaviu Cristian

   OriginalPaper Pages: 146 - 158