The temporal logic of branching time Mordechai Ben-AriAmir PnueliZohar Manna OriginalPaper Pages: 207 - 226
Rational set of trees and the algebraic semantics of logic programming G. Marque-Pucheu OriginalPaper Pages: 249 - 260
Task allocation in fault-tolerant distributed systems Joseph A. BannisterKishor S. Trivedi OriginalPaper Pages: 261 - 281