1. Causality for debugging mobile agents

   • Pierpaolo Degano
   • Corrado Priami
   • Bent Thomsen

   Original articles Pages: 335 - 374

2. Reasoning with first order nondeterministic specifications

   • Beata Konikowska
   • Marcin Białasik

   Originalarbeiten Pages: 375 - 403

3. Finding the k most vital edges with respect to minimum spanning tree

   • Hong Shen

   Originalarbeiten Pages: 405 - 424