1. Fairness and related properties in transition systems — a temporal logic to deal with fairness

   • J. P. Queille
   • J. Sifakis

   OriginalPaper Pages: 195 - 220

2. The implementation of retention in a coroutine environment

   • John P. Kearns
   • Mary Lou Soffa

   OriginalPaper Pages: 221 - 223

3. An operational semantics for specifications of abstract data types with error handling

   • G. Engels
   • U. Pletat
   • H. -D. Ehrich

   OriginalPaper Pages: 235 - 253

4. Computation sequences: A way to characterize classes of attribute grammars

   • Hanne Riis Nielson

   OriginalPaper Pages: 255 - 268

5. Efficiency of universal parallel computers

   • Friedhelm Meyer auf der Heide

   OriginalPaper Pages: 269 - 296

6. On the number of relational operators necessary to compute certain functions of real variables

   • Alfred Schmitt

   OriginalPaper Pages: 297 - 304