1. A functional model for describing and reasoning about time behaviour of computing systems

   • Paul Caspi
   • Nicolas Halbwachs

   OriginalPaper Pages: 595 - 627

2. Non-deterministic data types: models and implementations

   • Tobias Nipkow

   OriginalPaper Pages: 629 - 661

3. Minimal coverings for incompletely specified sequential machines

   • B. Reusch
   • W. Merzenich

   OriginalPaper Pages: 663 - 678

4. Investigations on Hotz groups for arbitrary grammars

   • Volker Diekert

   OriginalPaper Pages: 679 - 698

5. Erratum

   • Piotr Rudnicki
   • Włodzimierz Drabent

   Erratum Pages: 699 - 707

6. Acknowledgement to referees

   Acknowledgments Pages: 709 - 710