1. On specification of multiprocessor computing

   • W. M. Turski

   OriginalPaper Pages: 685 - 696

2. The instability of self-stabilization

   • Mohamed G. Gouda
   • Rodney R. Howell
   • Louis E. Rosier

   OriginalPaper Pages: 697 - 724

3. Tableau-based model checking in the propositional mu-calculus

   • Rance Cleaveland

   OriginalPaper Pages: 725 - 747

4. On the valuedness of finite transducers

   • Andreas Weber

   OriginalPaper Pages: 749 - 780

5. Context free derivations on word monoids

   • Alexander Meduna

   OriginalPaper Pages: 781 - 786

6. Acknowledgement to referees

   Acknowledgments Pages: 787 - 788