1. Program reversals for evolutions with non-uniform step costs

   • Andrea Walther

   OriginalPaper Pages: 235 - 263

2. Specification transformers: a predicate transformer approach to composition

   • Michel Charpentier
   • K. Mani Chandy

   OriginalPaper Pages: 265 - 301

3. A bi-criterion single-machine scheduling problem with learning considerations

   • Wen-Chiung Lee
   • Chin-Chia Wu
   • Hua-Jung Sung

   OriginalPaper Pages: 303 - 315