1. Interaction semantics with refusals, divergence, and destruction

   • I. B. Bourdonov
   • A. S. Kossatchev

   OriginalPaper 22 September 2010 Pages: 247 - 263

2. On complementary principles of object-oriented constraint programming

   • V. A. Semenov
   • K. V. Dragalov
   • O. V. Sidyaka

   OriginalPaper 22 September 2010 Pages: 264 - 275

3. Application of if-conversion to verification and optimization of workflows

   • A. A. Kalenkova

   OriginalPaper 22 September 2010 Pages: 276 - 288

4. Component architecture of model-based testing environment

   • V. V. Kuliamin

   OriginalPaper 22 September 2010 Pages: 289 - 305

5. PSI’11 call for papers Eighth International Andrei Ershov Conference “Perspectives of System Informatics” 27 June–1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru

   • I. B. Virbitskaite

   OriginalPaper 22 September 2010 Pages: 306 - 308