1. Modelling knowledge and action in distributed systems

   • Joseph Y. Halpern
   • Ronald Fagin

   OriginalPaper Pages: 159 - 177

2. Deadlock-free message routing in multicomputer networks

   • Peter A. J. Hilbers
   • Johan J. Lukkien

   OriginalPaper Pages: 178 - 186

3. Fault tolerant processes

   • Pankaj Jalote

   OriginalPaper Pages: 187 - 195

4. An operator net model for distributed systems

   • Janice I. Glasgow
   • Glenn H. MacEwen

   OriginalPaper Pages: 196 - 209