Interaction semantics with refusals, divergence, and destruction I. B. BourdonovA. S. Kossatchev OriginalPaper 22 September 2010 Pages: 247 - 263
On complementary principles of object-oriented constraint programming V. A. SemenovK. V. DragalovO. V. Sidyaka OriginalPaper 22 September 2010 Pages: 264 - 275
Application of if-conversion to verification and optimization of workflows A. A. Kalenkova OriginalPaper 22 September 2010 Pages: 276 - 288
Component architecture of model-based testing environment V. V. Kuliamin OriginalPaper 22 September 2010 Pages: 289 - 305
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