1. The temporal logic of branching time

   • Mordechai Ben-Ari
   • Amir Pnueli
   • Zohar Manna

   OriginalPaper Pages: 207 - 226

2. Pattern matching in trees and nets

   • Hans-Ulrich Simon

   OriginalPaper Pages: 227 - 248

3. Rational set of trees and the algebraic semantics of logic programming

   • G. Marque-Pucheu

   OriginalPaper Pages: 249 - 260

4. Task allocation in fault-tolerant distributed systems

   • Joseph A. Bannister
   • Kishor S. Trivedi

   OriginalPaper Pages: 261 - 281